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>
Lukas Humbel [Thu, 28 Jul 2016 13:29:52 +0000]
IRQ: Better error messages for Kaluga
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 28 Jul 2016 13:29:27 +0000]
Fix compiler warnings in ramfsd
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 28 Jul 2016 13:28:26 +0000]
IRQ: Rebase fixup for new flounder interface
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 28 Jul 2016 13:27:20 +0000]
IRQ: Fixing the merge with restructured ACPI
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 28 Jul 2016 08:37:51 +0000]
IRQ: serial driver uses IRQ cap
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 27 Jul 2016 15:10:41 +0000]
IRQ: Start serial from kaluga
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 20 Jul 2016 11:32:24 +0000]
IRQ: Add priorioty to device_db. Additional device_db for kaluga
Drivers by kaluga now take an optional priority field in account.
When more than one driver matches the card, the one with the higher
priority gets started.
An additional device_db file can be specified to kaluga using the
add_device_db= parameter.
The irqtest now makes use of this to be started by kaluga.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 19 Jul 2016 12:07:19 +0000]
IRQ: cleanup
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 19 Jul 2016 09:38:57 +0000]
IRQ: Activate PCI interrupts
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 18 Jul 2016 14:07:53 +0000]
IRQ: add ioapic controller.
pcilnk and ioapic controller gets instructed by the interrupt
routing service messages. but somehow interrupts are not yet
working.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 18 Jul 2016 09:36:09 +0000]
IRQ: Adding ioapic controller stubs
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 15 Jul 2016 14:39:17 +0000]
IRQ: Renamed int_controller to pcilnk_controller
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 15 Jul 2016 14:30:34 +0000]
IRQ: Interrupt controller for link devices working
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 15 Jul 2016 11:25:50 +0000]
IRQ: inlined last in irq_routing_new
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 15 Jul 2016 10:57:12 +0000]
IRQ: Better Debug output
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 15 Jul 2016 07:56:33 +0000]
IRQ: Better debug output
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 14 Jul 2016 15:23:25 +0000]
IRQ: Kaluga start driver with IRQ caps.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 13 Jul 2016 14:49:25 +0000]
IRQ: Refactor into int_route_client library, add legacy int range
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 12 Jul 2016 16:13:38 +0000]
IRQ: Removed debug statements
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 12 Jul 2016 16:06:56 +0000]
IRQ: Add int_arg parameter to kalugas driver start
As we need to tell the driver what interrupt numbers to use,
we add an additional command line argument. This should
be done one day by directly passing caps instead of command
line arguments.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 12 Jul 2016 09:17:43 +0000]
IRQ: Int route server cleanup
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 12 Jul 2016 09:15:34 +0000]
IRQ: use uint64_t everywhere for int numbers, renamed controller
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 11 Jul 2016 15:40:24 +0000]
IRQ: int controller service done, one client for pcilnk done
ACPI registers itself to the interrupt routing service as a
controller driver for pci link devices. It receives messages
from the routing service how to programm the link devices.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 11 Jul 2016 08:36:17 +0000]
IRQ: cleanup
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 8 Jul 2016 16:08:12 +0000]
IRQ: working on interrupt route service
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 8 Jul 2016 14:51:02 +0000]
IRQ: Also adding pci link devices to octopus
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 8 Jul 2016 12:22:30 +0000]
IRQ: Kaluga: put int ctrl startup in own file
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 8 Jul 2016 12:04:15 +0000]
IRQ: Kaluga, react on octopus events and start ctrl driver
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 7 Jul 2016 15:51:22 +0000]
IRQ: Use kaluga to start interrupt controllers
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
projects / barrelfish / log