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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Simon Gerber [Fri, 5 Aug 2016 12:50:16 +0000]
libspawndomain: fix typo
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 5 Aug 2016 12:49:59 +0000]
armv8: QEMU ARMv8 compiles
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
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>
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>
Simon Gerber [Fri, 5 Aug 2016 11:54:54 +0000]
Merge branch 'caps_next'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Lukas Humbel [Fri, 29 Jul 2016 16:22:54 +0000]
Merge branch 'irq'
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
Lukas Humbel [Fri, 29 Jul 2016 14:31:04 +0000]
IRQ: Remove debug prints
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 29 Jul 2016 12:33:44 +0000]
IRQ: armv8 fixes
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Simon Gerber [Fri, 29 Jul 2016 13:52:11 +0000]
T275: Refactor distributed retype test into framework for all distops and retype parts
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>
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>
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>
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>
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>
Lukas Humbel [Fri, 29 Jul 2016 13:17:52 +0000]
ARMv8: Build fixes
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
projects / barrelfish / log