Simon Gerber [Wed, 9 Nov 2016 14:07:22 +0000]
harness: compiler-rt: factor vector FP tests into their own testcase as we do not have VFP support on ARMv7
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 9 Nov 2016 12:38:32 +0000]
harness: armv7 fvp: add 4 core machine
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 9 Nov 2016 12:38:00 +0000]
x86_64: kernel: fix handle_vnode_identify to not do superfluous switch on objtype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 9 Nov 2016 12:37:33 +0000]
armv7: handle VNodeCmd_Identify
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 10 Nov 2016 09:52:17 +0000]
armv7: kaluga, startd: enable proper waiting on all_spawnds_up
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 10 Nov 2016 09:51:52 +0000]
harness: pandaboard: build right image file and remove unused function
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 15:58:27 +0000]
kernel/armv8/apm88xxxx: Implement platform_get_info
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 15:58:03 +0000]
kernel/armv8: Cleanup debug output
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 15:55:34 +0000]
kernel/armv8: Remove platform directories as they are not needed anymore
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 15:54:47 +0000]
barrelfish_kpi/platform: Add APM88xxxx, remove TMAS
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 10:02:59 +0000]
qemu: remove x86_32 support
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 10:00:21 +0000]
qemu: Print command to be executed in all cases
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:59:51 +0000]
qemu/aarch64: Only create EFI files if required
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:59:09 +0000]
tools: Set architecture in gdb files.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:58:26 +0000]
qemu: use gdb-multiarch for x86_64 and aarch64 debugging
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:56:56 +0000]
aarch64: return initial platform info for VM-based platforms
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:56:21 +0000]
aarch64: remove incorrect assertions for invocations
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:55:47 +0000]
aarch64: Make generic timer initialization platform independent
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 09:54:05 +0000]
aarch64/apm88xxxx: Correct GIC CPU and DIST addresses
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 07:54:08 +0000]
pmap: T229 rename struct pmap_mapping_info fields to not start with 'ret'
Also store the mapping cap in the result.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 9 Nov 2016 07:50:31 +0000]
waitset: remove waitset_poll_cycles as it is not being used anymore
It doesn't have a strong symbol so channel_cost cannot be linked.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Tue, 8 Nov 2016 16:12:04 +0000]
T318: vspace_pinned_alloc: fix case where we call back into vspace_pinned_alloc() from memobj->fill while refilling
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 8 Nov 2016 16:10:57 +0000]
T321: k1om: fix creating RAM caps
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Tue, 8 Nov 2016 09:14:41 +0000]
Merge branch 'armv8-syscall' (early part)
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Tue, 8 Nov 2016 07:53:25 +0000]
T322: defer pagetable cap deletion to receive handler
On some machines, waiting until all messages were sent to delete the pagetable
cap in the sender was not enough, and the receiver would still get an
unexpected error while trying to identify the cap.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Adam Turowski [Mon, 7 Nov 2016 15:46:07 +0000]
harness: adding bridge_bios option to gruyere
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Simon Gerber [Mon, 7 Nov 2016 15:13:01 +0000]
T322: multihoptest: Clean up page table cap late to avoid deleting receiver's copy
Closes T322.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 7 Nov 2016 10:07:28 +0000]
delete tracked .orig file
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 7 Nov 2016 10:01:43 +0000]
T321: kernel: non power-of-2 sized capabilities remove need for aligning memory.
Remove bandaid fix for running out of slots in super cnode as we can now
create non-power-of-2 sized caps. Closes trac(!) ticket #253.
Closes T321.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 7 Nov 2016 09:56:43 +0000]
flounder: Free popped receive slot if we did not use it
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 7 Nov 2016 09:11:45 +0000]
libbarrelfish: two_level_alloc: Unlock mutex when we error out early.
Reported-by: Georg Kilzer <gkilzer@student.ethz.ch
Signed-off-by: Georg Kilzer <gkilzer@student.ethz.ch
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Adam Turowski [Thu, 3 Nov 2016 13:01:02 +0000]
network: fixing network tests
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Lukas Humbel [Wed, 2 Nov 2016 13:21:55 +0000]
T319: Fix irqtest
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Moritz Hoffmann [Wed, 2 Nov 2016 11:57:50 +0000]
T229: refactor pmap lookup function to take result struct
Introduce a struct mapping_info that is populated by the lookup
function. Also refactor the x86 pmap to return more information
in find_mapping.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Adam Turowski [Wed, 2 Nov 2016 08:43:22 +0000]
e1000: adding a call of test_instr_periodic to an interrupt handler
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Lukas Humbel [Tue, 1 Nov 2016 17:13:58 +0000]
Make debug_my_cspace work with new CSpace layout
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Adam Turowski [Tue, 1 Nov 2016 16:09:05 +0000]
network: increasing a size of temporary queues
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Moritz Hoffmann [Tue, 1 Nov 2016 10:39:40 +0000]
lib/barrelfish: Fix T318 by ensuring the slab is never empty
The slab is not only refilled when slab_alloc returns a NULL
pointer but also when its free count drops to zero after an
allocation. That seems to mitigate the problem, tests pending.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Adam Turowski [Tue, 1 Nov 2016 10:29:44 +0000]
flounder: fixing a LMP cap transfer when a cap is empty
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 31 Oct 2016 14:43:30 +0000]
arm: fixing LMP delivering
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 31 Oct 2016 14:08:59 +0000]
network: replacing the continuation manager with simple queues
e1000: small performance tweaks
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Moritz Hoffmann [Thu, 27 Oct 2016 12:04:55 +0000]
usb: Improved error handling. Actually send error code to connected clients
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 27 Oct 2016 12:02:46 +0000]
usb: do not call free on not malloc'ed data.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 27 Oct 2016 12:01:52 +0000]
Restructure USB library to use callbacks instead of waiting.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Adam Turowski [Tue, 25 Oct 2016 10:41:56 +0000]
network: removing unnecessary event processing
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Simon Gerber [Wed, 19 Oct 2016 15:55:44 +0000]
harness: panda_local: remove picocom lock after killing process
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 19 Oct 2016 15:50:03 +0000]
kernel: cap_delete: properly insert simple caps that need return slot into delete list
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 19 Oct 2016 15:48:58 +0000]
harness: xeon_phi_boot test: make sure that we see xeon_phi.(\d+).ready `nphi` times for test to succeed.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 19 Oct 2016 15:45:27 +0000]
harness: put in basic functionality for testing multicore ARMv7
default_bootmodules() for ARMv7:
* Add kaluga with arguments parsed from template menu.lst for machine
* Add "corectrl auto"
panda_local:
* Return ncores = 2
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 19 Oct 2016 12:43:26 +0000]
monitor: capops: Remove no-longer-needed capops/magic.[ch]
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 19 Oct 2016 12:40:05 +0000]
T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
This commit replaces num_monitors_online() which was implemented as a query to
octopus for the number of online spawnd processes, with a function that counts
all intermon bindings that have the capops_ready flag set. This is what we
really need to know to decide what to do in the distributed capabilities code.
Closes T310.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Wed, 19 Oct 2016 13:09:06 +0000]
omap44xx: use right define for the MMCS driver
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Lukas Humbel [Tue, 18 Oct 2016 15:53:16 +0000]
Added missing e1000 device id
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Simon Gerber [Tue, 18 Oct 2016 15:46:04 +0000]
T309: harness: Fix initialization of "real" pandaboard machines and add missing method
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Tue, 18 Oct 2016 14:57:21 +0000]
Fix TimerTest on machines with two cores
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Adam Turowski [Tue, 18 Oct 2016 11:44:10 +0000]
netd: setting a proper size of ARP response
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 11:20:32 +0000]
menu.lst for Pandaboard: Enable usb_manager, usb_keyboard by default
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 11:10:55 +0000]
usb_manager/omap44xx: Use barrelfish_usleep for delays
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 11:10:24 +0000]
kaluga/startup: Do not wait for ACPI on armv7
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:16:06 +0000]
usbboot: Increase waiting time to 1s, was .25ms
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:15:26 +0000]
kaluga/omap44xx: Fix memory leak when spawning drivers
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:14:04 +0000]
kaluga/device_cap: Use frame_identify instead of direct invocation
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:13:30 +0000]
kaluga/omap44xx: Provide correct set of caps to usb_manager
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:13:01 +0000]
usb_manager/omap44xx: Initialize USB controller
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:08:39 +0000]
kernel/capabilities: Use correct base field in sprint_cap for DevFrame
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
David Cock [Mon, 17 Oct 2016 09:01:26 +0000]
ARMv7: Use --export-dynamic in kernel link.
This ensures that the got_base symbol (and others) appear in the dynamic
symbol table, without relying on the vagaries of the link.
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
Lukas Humbel [Fri, 14 Oct 2016 17:52:04 +0000]
IRQ: Make irqtest work on real hardware
Before we counted too many interrupts which messed up the test.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 14 Oct 2016 15:59:42 +0000]
T308: Improve support for Intel 82574 gbe network cards
It turns out the card is too similiar to give it an extra driver, remove
the e1000e binary and improve e1000n instead. e1000n needs refactoring.
The driver does not hang on hw reset (on the 82574) and the interrupt
handling is correct enough to let irqtest pass (with legacy interrupts).
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 14 Oct 2016 15:53:57 +0000]
IRQ: Merge irqtest into driver e1000n driver
irqtest was duplicating the e1000 driver. This has been replaced
with an extra build command and the UNDER_TEST preprocess define.
Also, the binary name was changed to e1000n_irqtest as it better
reflects what its actually doing.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 11 Oct 2016 16:32:31 +0000]
T308: Added e1000e mackerel and device driver stub
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 11 Oct 2016 09:21:44 +0000]
T308: Add e1000e irqtest stub. Add support for e1000e in QEMU
qemu_wrapper now accepts more arguments for specifying what nic to
use.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 10 Oct 2016 13:24:33 +0000]
IRQ: Allow retyping of IRQSrc capability
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 7 Oct 2016 15:14:07 +0000]
IRQ: Add range to IRQSrc cap
To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 6 Oct 2016 14:59:39 +0000]
IRQ: Added tags to irq_routing_new
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Moritz Hoffmann [Fri, 14 Oct 2016 15:21:51 +0000]
Revert "libbarrelfish/init: Correctly set thread status on libc exit. Fixes T194"
Various tests time out with this change. We have to look at what
thread_exit is actually doing that is necessary for libc exit.
This reverts commit
fe18a4b45c2ae965a3345f0aebe314378e1d18d8.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Fri, 14 Oct 2016 11:56:36 +0000]
libbarrelfish/init: Correctly set thread status on libc exit. Fixes T194
Previously, thread_exit was used when it could no longer be safely executed
causing page faults.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Fri, 14 Oct 2016 11:54:45 +0000]
libbarrelfish/threads: Provide thread_set_status to set return status of a thread
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 14:39:55 +0000]
hake/X86_64: add -Wno-frame-address to default flags.
GCC 6.1 warns on unsafe use of __builtin_return_address(x) for x > 0.
This patch disables the warning.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 14:37:00 +0000]
spantest/exit: For printf formatting.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 14:35:07 +0000]
Kernel/capabilities: Remove redundant size check from check_caps_create_arguments.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Thu, 13 Oct 2016 13:20:06 +0000]
harness: fix gem5 machine to use correct boot image, and fix kernel command line parsing.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 13:25:04 +0000]
Fix to avoid freeing not-malloc'ed memory in multihop test.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 12:41:44 +0000]
Use generated OBJSIZE_* constants instead of hard-coded values.
This requires more cleanup of code that still requires sizes in bits, e.g.
the memory server.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 12:39:24 +0000]
T306: Rename defined cap constants. Introduce CNode abstract type, let ARM_l1{/2} inherit from VNode.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 12:36:37 +0000]
T306: Refine capability inheritance by allowing inheriting capabilities to extend super types.
This is a first step to producing better structured capability union types.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 13:04:35 +0000]
armv8: removing GEM8 CPU
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 13:04:04 +0000]
armv8: making sections correct in efiboot
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 13:02:51 +0000]
armv8: correcting GIC addresses on APM88xxxxx
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 13:02:03 +0000]
armv8: removing GEM5 platform
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 13:01:12 +0000]
armv8: adding dependencies to the platform hakefile renaming platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Lukas Humbel [Wed, 12 Oct 2016 11:57:08 +0000]
irqtest: Fix for crashes on pci_lnk's add_mapping
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 10:58:00 +0000]
armv8: adding explicit notion of caller-save and callee save registers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Timothy Roscoe [Tue, 11 Oct 2016 15:27:52 +0000]
Added module dependencies for x86_64 qemu boot targets.
Removed old x86_32 boot targets.
Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
Simon Gerber [Tue, 11 Oct 2016 15:24:44 +0000]
[libbarrelfish] Properly check for error in case slab_alloc fails.
Reported-by: Andreas Furrer <anfurrer@student.ethz.ch>
Signed-off-by: Andreas Furrer <anfurrer@student.ethz.ch>
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 11:06:29 +0000]
Removed unused cap type Notify_RCK.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 09:18:37 +0000]
T306: Rename mapping.frame to mapping.cap
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 09:00:39 +0000]
T306: Change cap definitions to use inheritance mechanism.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 08:59:52 +0000]
T306: extend Hamlet to parse abstract cap definitions and let other caps inherit from them.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Mon, 10 Oct 2016 08:32:49 +0000]
harness: mt_waitset test: increase test timeout by factor 2, properly implement process_data()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Sun, 9 Oct 2016 18:54:08 +0000]
armv8: removing tmas/paging and merge with armv8/paging.c
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
projects / barrelfish / log