barrelfish
4 years agoT258: refactor creation of new cspaces to make it cleaner
Simon Gerber [Tue, 16 Aug 2016 16:29:22 +0000]
T258: refactor creation of new cspaces to make it cleaner

This removes the need for manual updating of cnoderefs in libspawndomain. We
introduce a new function cnode_create_l1() for creating new L1 cnodes in L2
slots in our cspace, and rewrite cnode_create_foreign() to
cnode_create_foreign_l2() which takes a capref to an L1 cnode and a slot in
the L1 cnode for where to put the new L2 cnode.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agohake: replacing tabs with spaces in config template
Reto Achermann [Tue, 16 Aug 2016 15:26:00 +0000]
hake: replacing tabs with spaces in config template

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoK1OM: updating toolchain to MPSS SDK 3.7.1
Reto Achermann [Tue, 16 Aug 2016 15:25:37 +0000]
K1OM: updating toolchain to MPSS SDK 3.7.1

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agohake: adding system compiler for k1om.
Reto Achermann [Tue, 16 Aug 2016 12:45:28 +0000]
hake: adding system compiler for k1om.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoharness: output processing: handle cases where we do not find grub output in raw log
Simon Gerber [Tue, 16 Aug 2016 12:52:53 +0000]
harness: output processing: handle cases where we do not find grub output in raw log

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: retype_test: fix multicore retype test to only put binary in multiboot once
Simon Gerber [Tue, 16 Aug 2016 12:52:12 +0000]
harness: retype_test: fix multicore retype test to only put binary in multiboot once

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoacpi: osglue: implement AcpiOsStall() using barrelfish_usleep()
Simon Gerber [Tue, 16 Aug 2016 12:48:13 +0000]
acpi: osglue: implement AcpiOsStall() using barrelfish_usleep()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: memtest_multicore: add a single multiboot module for memtest and specify...
Simon Gerber [Tue, 16 Aug 2016 12:47:50 +0000]
harness: memtest_multicore: add a single multiboot module for memtest and specify all cores as range

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoskb interface: up size of run output string to 64kB
Simon Gerber [Tue, 16 Aug 2016 12:37:50 +0000]
skb interface: up size of run output string to 64kB

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agok1om: libbarrelfish: Fix disp_try_disable
Simon Gerber [Tue, 16 Aug 2016 12:14:08 +0000]
k1om: libbarrelfish: Fix disp_try_disable

Use __sync_compare_and_swap() instead of unavailable __atomic_test_and_set()
for k1om gcc 4.7.0.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoUpdate weever to build against newlib headers
Simon Gerber [Tue, 16 Aug 2016 11:24:20 +0000]
Update weever to build against newlib headers

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoRemove CONFIG_NEWLIB #define and all uses
Simon Gerber [Tue, 16 Aug 2016 11:23:48 +0000]
Remove CONFIG_NEWLIB #define and all uses

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: armv7 qemu: fix image creation calls to work with non-existing builds
Simon Gerber [Mon, 15 Aug 2016 13:24:55 +0000]
harness: armv7 qemu: fix image creation calls to work with non-existing builds

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: unbreak armv7 simulators when not using existing build directory
Simon Gerber [Mon, 15 Aug 2016 12:52:00 +0000]
harness: unbreak armv7 simulators when not using existing build directory

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoarmv7: kernel: monitor_delete_last: fix argument unmarshalling
Simon Gerber [Mon, 15 Aug 2016 12:11:04 +0000]
armv7: kernel: monitor_delete_last: fix argument unmarshalling

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: armv7 machines: fix pandaboard to work with existing build dir option
Simon Gerber [Mon, 15 Aug 2016 11:59:08 +0000]
harness: armv7 machines: fix pandaboard to work with existing build dir option

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: armv7 simulator machines: fix to work with existingbuild argument
Simon Gerber [Mon, 15 Aug 2016 11:51:22 +0000]
harness: armv7 simulator machines: fix to work with existingbuild argument

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT243: Fix armv7 pmap code to work with new vnodes
Simon Gerber [Mon, 15 Aug 2016 11:50:34 +0000]
T243: Fix armv7 pmap code to work with new vnodes

Closes T243.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT243: Fix armv7 paging code and caps_retype() to properly create ARMv7 vnodes
Simon Gerber [Mon, 15 Aug 2016 11:49:27 +0000]
T243: Fix armv7 paging code and caps_retype() to properly create ARMv7 vnodes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT243: Fix vnode_objsize() to return 1024 for ARM_l2 vnodes
Simon Gerber [Mon, 15 Aug 2016 09:34:22 +0000]
T243: Fix vnode_objsize() to return 1024 for ARM_l2 vnodes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT243: capability types and kernel code now accurately reflects ARMv7 12/8/12 bit...
Simon Gerber [Mon, 15 Aug 2016 08:48:36 +0000]
T243: capability types and kernel code now accurately reflects ARMv7 12/8/12 bit virtual address split

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoStart ahcitest from kaluga
Lukas Humbel [Mon, 15 Aug 2016 11:53:16 +0000]
Start ahcitest from kaluga

To receive interrupts, driver must be started from kaluga
ahci_test is now started from kaluga.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: Make irqtest generate correct menu.lst
Lukas Humbel [Mon, 15 Aug 2016 08:51:46 +0000]
IRQ: Make irqtest generate correct menu.lst

irqtest needs an 'auto' argument, to make it started
by Kaluga.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoStore BSP KCB in octopus as KCB 0 and update coreboot test to account for existence...
Simon Gerber [Thu, 11 Aug 2016 17:52:59 +0000]
Store BSP KCB in octopus as KCB 0 and update coreboot test to account for existence of KCB 0

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: Improve exception output in xml reports and put interactive test output...
Simon Gerber [Thu, 11 Aug 2016 17:14:31 +0000]
harness: Improve exception output in xml reports and put interactive test output where the rest of harness expects it

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: factor out line cleaning and use in process_output()
Simon Gerber [Thu, 11 Aug 2016 14:34:26 +0000]
harness: factor out line cleaning and use in process_output()

Also fix case where we can't find "root (nd)" in output and assume no garbled
BIOS output in that case (qemu, etc)

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoFix harness to properly strip terminal color control codes
Simon Gerber [Thu, 11 Aug 2016 10:05:43 +0000]
Fix harness to properly strip terminal color control codes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoFix kernel struct dispatcher_shared_arm include in exceptions.h
Simon Gerber [Tue, 9 Aug 2016 12:47:27 +0000]
Fix kernel struct dispatcher_shared_arm include in exceptions.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoIRQ: kaluga: pass driver_argument pointer to default_start_function for network card...
Simon Gerber [Wed, 10 Aug 2016 14:59:54 +0000]
IRQ: kaluga: pass driver_argument pointer to default_start_function for network card drivers

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND when encountering null cnode...
Simon Gerber [Wed, 10 Aug 2016 14:59:25 +0000]
T258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND when encountering null cnode cap during lookup

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoIRQ: Instantiate pci link controller earlier
Lukas Humbel [Wed, 10 Aug 2016 14:33:27 +0000]
IRQ: Instantiate pci link controller earlier

On machines with non-trivial pci hierarchies, the pci link
controllers got instantiated too early, before every prt
entry was added to the skb. Now we instantiate the controller
as soon as the discovery is done.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoSKB: Better debug output
Lukas Humbel [Wed, 10 Aug 2016 14:30:21 +0000]
SKB: Better debug output

Now also the last executed query is included in the debug
output of DEBUG_SKB_ERR

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoSKB: Workaround to generate fact listing
Lukas Humbel [Wed, 10 Aug 2016 14:29:20 +0000]
SKB: Workaround to generate fact listing

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoSKB: Better error output for skb clients
Lukas Humbel [Tue, 9 Aug 2016 15:22:50 +0000]
SKB: Better error output for skb clients

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: use swizzle for PCI interrupts, fix devdb entry
Lukas Humbel [Tue, 9 Aug 2016 15:21:37 +0000]
IRQ: use swizzle for PCI interrupts, fix devdb entry

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoKaluga: Do not panic on skb error
Lukas Humbel [Tue, 9 Aug 2016 15:19:58 +0000]
Kaluga: Do not panic on skb error

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoSKB: Fix crash when skb buffers are full
Lukas Humbel [Tue, 9 Aug 2016 15:12:02 +0000]
SKB: Fix crash when skb buffers are full

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoUse serial_kernel as default module
Lukas Humbel [Tue, 9 Aug 2016 15:00:48 +0000]
Use serial_kernel as default module

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: Fix interrupts handled by ACPI
Lukas Humbel [Tue, 9 Aug 2016 14:59:24 +0000]
IRQ: Fix interrupts handled by ACPI

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT275: platforms/Hakefile: add delete and revoke distops tests
Simon Gerber [Fri, 5 Aug 2016 14:06:51 +0000]
T275: platforms/Hakefile: add delete and revoke distops tests

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: kaluga: use cnode_create_l2()
Simon Gerber [Fri, 5 Aug 2016 14:06:28 +0000]
T258: kaluga: use cnode_create_l2()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomonitor: capops/delete: properly check slot_free() return value
Simon Gerber [Fri, 5 Aug 2016 13:31:53 +0000]
monitor: capops/delete: properly check slot_free() return value

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: fix printfs in distops delete test
Simon Gerber [Fri, 5 Aug 2016 13:27:21 +0000]
T275: fix printfs in distops delete test

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomonitor: capops: delete: fix case where we delete last owned copy after doing full...
Simon Gerber [Fri, 5 Aug 2016 13:26:46 +0000]
monitor: capops: delete: fix case where we delete last owned copy after doing full remote delete

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agokernel: armv7: zynq7: add arm/debug.c to hake rule
Simon Gerber [Fri, 5 Aug 2016 13:21:04 +0000]
kernel: armv7: zynq7: add arm/debug.c to hake rule

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agolibspawndomain: fix typo
Simon Gerber [Fri, 5 Aug 2016 12:50:16 +0000]
libspawndomain: fix typo

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoarmv8: QEMU ARMv8 compiles
Simon Gerber [Fri, 5 Aug 2016 12:49:59 +0000]
armv8: QEMU ARMv8 compiles

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT266: armv7: add kernel-side handlers for cnode resizing
Simon Gerber [Fri, 5 Aug 2016 12:47:39 +0000]
T266: armv7: add kernel-side handlers for cnode resizing

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT274: armv8: update monitor invocations and cleanup changes
Simon Gerber [Fri, 5 Aug 2016 12:46:40 +0000]
T274: armv8: update monitor invocations and cleanup changes

Closes T274.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoMerge branch 'caps_next'
Simon Gerber [Fri, 5 Aug 2016 11:54:54 +0000]
Merge branch 'caps_next'

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT274: armv8: update cspace invocations
Simon Gerber [Fri, 5 Aug 2016 11:33:04 +0000]
T274: armv8: update cspace invocations

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: mem_serv_dist: fix get_more_ram() call
Simon Gerber [Fri, 5 Aug 2016 11:05:28 +0000]
T258: mem_serv_dist: fix get_more_ram() call

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: Delete GPT cspace functionality and rename new functions
Simon Gerber [Fri, 5 Aug 2016 09:53:58 +0000]
T258: Delete GPT cspace functionality and rename new functions

This commit deletes all the old GPT cnode code, and renames the new two-level
functions to the "old" names (e.g. caps_lookup_slot() is now a two-level
cspace function).

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: armv7_gem5: up test timeout to 25 minutes
Simon Gerber [Wed, 3 Aug 2016 15:38:12 +0000]
harness: armv7_gem5: up test timeout to 25 minutes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: armv7 simulators: grab cpu driver command line args from hake/menu.lst.armv7...
Simon Gerber [Wed, 3 Aug 2016 13:38:38 +0000]
harness: armv7 simulators: grab cpu driver command line args from hake/menu.lst.armv7_<plat>

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoremoving oldc from source, using newlib in tools/elver.
Reto Achermann [Wed, 3 Aug 2016 14:09:23 +0000]
removing oldc from source, using newlib in tools/elver.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agocpuboot: arm: spawn_xcore_monitor: return LIB_ERR_NOT_IMPLEMENTED after assert()
Simon Gerber [Wed, 3 Aug 2016 12:57:57 +0000]
cpuboot: arm: spawn_xcore_monitor: return LIB_ERR_NOT_IMPLEMENTED after assert()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: vmkit: add correct serial driver module
Simon Gerber [Wed, 3 Aug 2016 12:35:33 +0000]
harness: vmkit: add correct serial driver module

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: armv7 machines: deduplicate code and grab mmap menu.lst entries from <src...
Simon Gerber [Wed, 3 Aug 2016 11:55:10 +0000]
harness: armv7 machines: deduplicate code and grab mmap menu.lst entries from <src>/hake/menu.lst.armv7_<plat>

Also rename pandaboard targets to omap44xx for consistency in naming and fix
local pandaboard machine to run make usbboot_panda.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomonitor/ram_alloc: unnecessary debug_printfs and commented-out code in mem_free_handler()
Simon Gerber [Wed, 3 Aug 2016 09:43:35 +0000]
monitor/ram_alloc: unnecessary debug_printfs and commented-out code in mem_free_handler()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoharness: update interactive tests to work with new serial drivers
Simon Gerber [Wed, 3 Aug 2016 09:30:47 +0000]
harness: update interactive tests to work with new serial drivers

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: armv7: fix call stack in cnode_create()
Simon Gerber [Tue, 2 Aug 2016 17:23:32 +0000]
T258: armv7: fix call stack in cnode_create()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: two_level_slot_alloc_init{,_raw}: Remove unnecessary local `nslots`.
Simon Gerber [Tue, 2 Aug 2016 16:28:45 +0000]
T258: two_level_slot_alloc_init{,_raw}: Remove unnecessary local `nslots`.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: libbarrelfish: Remove commented-out debugging code in cap_retype
Simon Gerber [Tue, 2 Aug 2016 16:18:39 +0000]
T258: libbarrelfish: Remove commented-out debugging code in cap_retype

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: arrakismon: use two-level slot allocator as multi slot allocator
Simon Gerber [Tue, 2 Aug 2016 16:13:41 +0000]
T258: arrakismon: use two-level slot allocator as multi slot allocator

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: Add call stack to cnode_create()
Simon Gerber [Tue, 2 Aug 2016 16:12:24 +0000]
T258: Add call stack to cnode_create()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: fix invoke_dispatcher() assertions to work for making guest domain runnable
Simon Gerber [Tue, 2 Aug 2016 16:12:02 +0000]
T258: fix invoke_dispatcher() assertions to work for making guest domain runnable

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: Implement two_level_slot_alloc_init{,_raw} and use in vmkitmon
Simon Gerber [Tue, 2 Aug 2016 16:09:58 +0000]
T258: Implement two_level_slot_alloc_init{,_raw} and use in vmkitmon

Vmkit creates a second slot allocator for the guest. It's possible that that
allocator is completely unnecessary. For now we use two_level_slot_alloc_init()
to create a new slot allocator that uses L2 CNodes.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agokernel: caps_delete_foreigns: check for copies in predecessors as well as sucessors...
Simon Gerber [Tue, 2 Aug 2016 15:20:25 +0000]
kernel: caps_delete_foreigns: check for copies in predecessors as well as sucessors of given cte

In caps_delete_foreigns(), we need to check for copies in predecessors *and*
successors, not just successors, as we do not that our copy is the first in
the MDB ordering.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: delete test: do not panic out for delete under test
Simon Gerber [Tue, 2 Aug 2016 15:19:38 +0000]
T275: delete test: do not panic out for delete under test

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomonitor/capops: add more DEBUG_CAPOPS() statements in delete code
Simon Gerber [Tue, 2 Aug 2016 15:19:03 +0000]
monitor/capops: add more DEBUG_CAPOPS() statements in delete code

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT276: armv7: Add new monitor invocation for retypeability check
Simon Gerber [Tue, 2 Aug 2016 12:29:11 +0000]
T276: armv7: Add new monitor invocation for retypeability check

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomonitor/capops: add more DEBUG_CAPOPS() in delete_trylock_cont
Simon Gerber [Tue, 2 Aug 2016 12:25:01 +0000]
monitor/capops: add more DEBUG_CAPOPS() in delete_trylock_cont

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: fix delete test
Simon Gerber [Tue, 2 Aug 2016 12:24:17 +0000]
T275: fix delete test

CNodes are not moveable so if we delete the last owned copy, all foreign
copies are cleaned up.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: Refactor distops tests and fix bug in delete test
Simon Gerber [Tue, 2 Aug 2016 11:57:26 +0000]
T275: Refactor distops tests and fix bug in delete test

Also adds a test for retyping a capability with descendants on the owning core
from another core.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT276: Fix monitor revoke check to check for overlapping descendants instead of any...
Simon Gerber [Tue, 2 Aug 2016 11:56:55 +0000]
T276: Fix monitor revoke check to check for overlapping descendants instead of any descendants

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT276: Fix monitor retype check to check on owning core when request is forwarded
Simon Gerber [Tue, 2 Aug 2016 09:11:30 +0000]
T276: Fix monitor retype check to check on owning core when request is forwarded

In the case where we do a retype on a foreign capability, and our monitor
forwards the retype check to the owner, which then does a retype check on all
cores that hold copies of the source cap, the owner did not check for
descendants in it's own mapping database.  This is not a problem when doing a
retype on a capability that's owned by our own core, as then the retype
invocation itself finds any local descendants that overlap the requested
retype.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoARMv7: Use TPIDRPRW to hold the kernel GOT base.
David Cock [Fri, 29 Jul 2016 11:11:05 +0000]
ARMv7: Use TPIDRPRW to hold the kernel GOT base.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Add SKB records for ARMv7 cores in Kaluga.
David Cock [Thu, 28 Jul 2016 17:53:02 +0000]
ARMv7: Add SKB records for ARMv7 cores in Kaluga.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Added arch-specific platform info.
David Cock [Thu, 28 Jul 2016 17:21:35 +0000]
ARMv7: Added arch-specific platform info.

Certain things, such as the number of CPUs, can only be probed easily (or at
all), in the kernel.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoMerge branch 'irq'
Lukas Humbel [Fri, 29 Jul 2016 16:22:54 +0000]
Merge branch 'irq'

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: Better compatibility with existing drivers
Lukas Humbel [Fri, 29 Jul 2016 14:31:39 +0000]
IRQ: Better compatibility with existing drivers

When no int_model is specified in device_db.pl, the driver
will now not receive any additional arguments. However,
the caps are still passed, so that the pci client functions
work as expected.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: Remove debug prints
Lukas Humbel [Fri, 29 Jul 2016 14:31:04 +0000]
IRQ: Remove debug prints

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: armv8 fixes
Lukas Humbel [Fri, 29 Jul 2016 12:33:44 +0000]
IRQ: armv8 fixes

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: Fixes for armv7/pandaboard
Lukas Humbel [Fri, 29 Jul 2016 12:25:19 +0000]
IRQ: Fixes for armv7/pandaboard

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: start serial_pc16550d binary
Lukas Humbel [Fri, 29 Jul 2016 12:02:23 +0000]
IRQ: start serial_pc16550d binary

Make kaluga start the correct serial driver binary on x86

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoIRQ: Adapt the serial driver for new interface from kaluga
Lukas Humbel [Fri, 29 Jul 2016 12:00:36 +0000]
IRQ: Adapt the serial driver for new interface from kaluga

On x86, the serial driver should now be started from kaluga,
to do so, it needs to ignore the int_model argument and it
must not be passed an irq= argument, as this is now contained
in the cap given from Kaluga.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoMerge branch 'master' into irq
Lukas Humbel [Fri, 29 Jul 2016 16:18:29 +0000]
Merge branch 'master' into irq

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT273: armv7: Fix monitor invocations for capability retype and creation
Simon Gerber [Fri, 29 Jul 2016 15:08:18 +0000]
T273: armv7: Fix monitor invocations for capability retype and creation

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: distops_retype test: fix printf for unexpected retype result
Simon Gerber [Fri, 29 Jul 2016 14:54:59 +0000]
T275: distops_retype test: fix printf for unexpected retype result

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: Add distributed revoke test
Simon Gerber [Fri, 29 Jul 2016 14:54:23 +0000]
T275: Add distributed revoke test

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: Add test for delete of distributed capabilities
Simon Gerber [Fri, 29 Jul 2016 14:26:28 +0000]
T275: Add test for delete of distributed capabilities

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT258: Make sure that invoke_vnode_identify() can only be called on caps with root...
Simon Gerber [Fri, 29 Jul 2016 14:25:30 +0000]
T258: Make sure that invoke_vnode_identify() can only be called on caps with root = CPTR_ROOTCN

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: Refactor distributed retype test into framework for all distops and retype...
Simon Gerber [Fri, 29 Jul 2016 13:52:11 +0000]
T275: Refactor distributed retype test into framework for all distops and retype parts

4 years agoT274: monitor: capops/retype: add DEBUG_CAPOPS() statements to trace control flow...
Simon Gerber [Fri, 29 Jul 2016 13:30:56 +0000]
T274: monitor: capops/retype: add DEBUG_CAPOPS() statements to trace control flow for remote retype

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomonitor: capops: capsend: add DEBUG_CAPOPS(__FUNCTION__) to all functions
Simon Gerber [Fri, 29 Jul 2016 13:29:31 +0000]
monitor: capops: capsend: add DEBUG_CAPOPS(__FUNCTION__) to all functions

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: T266: platforms/Hakefile: Add test_remote_retype and test_rootcn_resize
Simon Gerber [Fri, 29 Jul 2016 13:28:13 +0000]
T275: T266: platforms/Hakefile: Add test_remote_retype and test_rootcn_resize

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT274: Fix remote retype
Simon Gerber [Fri, 29 Jul 2016 13:25:55 +0000]
T274: Fix remote retype

Properly propagate source and destiation root cnode throughout monitor retype
code and fix kernel code for monitor cap creation and monitor retype.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT275: Add test for distributed capability retype
Simon Gerber [Fri, 29 Jul 2016 13:21:48 +0000]
T275: Add test for distributed capability retype

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoARMv8: Build fixes
Lukas Humbel [Fri, 29 Jul 2016 13:17:52 +0000]
ARMv8: Build fixes

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>