barrelfish
3 years agopmap: T229 rename struct pmap_mapping_info fields to not start with 'ret' release2016-11-09
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>

3 years agowaitset: remove waitset_poll_cycles as it is not being used anymore
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>

3 years agoT318: vspace_pinned_alloc: fix case where we call back into vspace_pinned_alloc(...
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>

3 years agoT321: k1om: fix creating RAM caps
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>

3 years agoMerge branch 'armv8-syscall' (early part)
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>

3 years agoT322: defer pagetable cap deletion to receive handler
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>

3 years agoharness: adding bridge_bios option to gruyere
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>

3 years agoT322: multihoptest: Clean up page table cap late to avoid deleting receiver's copy
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>

3 years agodelete tracked .orig file
Simon Gerber [Mon, 7 Nov 2016 10:07:28 +0000]
delete tracked .orig file

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

3 years agoT321: kernel: non power-of-2 sized capabilities remove need for aligning memory.
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>

3 years agoflounder: Free popped receive slot if we did not use it
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>

3 years agolibbarrelfish: two_level_alloc: Unlock mutex when we error out early.
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>

3 years agonetwork: fixing network tests
Adam Turowski [Thu, 3 Nov 2016 13:01:02 +0000]
network: fixing network tests

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoT319: Fix irqtest
Lukas Humbel [Wed, 2 Nov 2016 13:21:55 +0000]
T319: Fix irqtest

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

3 years agoT229: refactor pmap lookup function to take result struct
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>

3 years agoe1000: adding a call of test_instr_periodic to an interrupt handler
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>

3 years agoMake debug_my_cspace work with new CSpace layout
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>

3 years agonetwork: increasing a size of temporary queues
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>

3 years agolib/barrelfish: Fix T318 by ensuring the slab is never empty
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>

3 years agoflounder: fixing a LMP cap transfer when a cap is empty
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>

3 years agoarm: fixing LMP delivering
Adam Turowski [Mon, 31 Oct 2016 14:43:30 +0000]
arm: fixing LMP delivering

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonetwork: replacing the continuation manager with simple queues
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>

3 years agousb: Improved error handling. Actually send error code to connected clients
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>

3 years agousb: do not call free on not malloc'ed data.
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>

3 years agoRestructure USB library to use callbacks instead of waiting.
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>

3 years agonetwork: removing unnecessary event processing
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>

3 years agoharness: panda_local: remove picocom lock after killing process
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>

3 years agokernel: cap_delete: properly insert simple caps that need return slot into delete...
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>

3 years agoharness: xeon_phi_boot test: make sure that we see xeon_phi.(\d+).ready `nphi` times...
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>

3 years agoharness: put in basic functionality for testing multicore ARMv7
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>

3 years agomonitor: capops: Remove no-longer-needed capops/magic.[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>

3 years agoT310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
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>

3 years agoomap44xx: use right define for the MMCS driver
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>

3 years agoAdded missing e1000 device id
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>

3 years agoT309: harness: Fix initialization of "real" pandaboard machines and add missing method
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>

3 years agoFix TimerTest on machines with two cores
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>

3 years agonetd: setting a proper size of ARP response
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>

3 years agomenu.lst for Pandaboard: Enable usb_manager, usb_keyboard by default
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>

3 years agousb_manager/omap44xx: Use barrelfish_usleep for delays
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>

3 years agokaluga/startup: Do not wait for ACPI on armv7
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>

3 years agousbboot: Increase waiting time to 1s, was .25ms
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>

3 years agokaluga/omap44xx: Fix memory leak when spawning drivers
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>

3 years agokaluga/device_cap: Use frame_identify instead of direct invocation
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>

3 years agokaluga/omap44xx: Provide correct set of caps to usb_manager
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>

3 years agousb_manager/omap44xx: Initialize USB controller
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>

3 years agokernel/capabilities: Use correct base field in sprint_cap for DevFrame
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>

3 years agoARMv7: Use --export-dynamic in kernel link.
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>

3 years agoIRQ: Make irqtest work on real hardware
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>

3 years agoT308: Improve support for Intel 82574 gbe network cards
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>

3 years agoIRQ: Merge irqtest into driver e1000n driver
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>

3 years agoT308: Added e1000e mackerel and device driver stub
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>

3 years agoT308: Add e1000e irqtest stub. Add support for e1000e in QEMU
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>

3 years agoIRQ: Allow retyping of IRQSrc capability
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>

3 years agoIRQ: Add range to IRQSrc cap
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>

3 years agoIRQ: Added tags to irq_routing_new
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>

3 years agoRevert "libbarrelfish/init: Correctly set thread status on libc exit. Fixes T194"
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>

3 years agolibbarrelfish/init: Correctly set thread status on libc exit. Fixes T194
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>

3 years agolibbarrelfish/threads: Provide thread_set_status to set return status of a thread
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>

3 years agohake/X86_64: add -Wno-frame-address to default flags.
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>

3 years agospantest/exit: For printf formatting.
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>

3 years agoKernel/capabilities: Remove redundant size check from check_caps_create_arguments.
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>

3 years agoharness: fix gem5 machine to use correct boot image, and fix kernel command line...
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>

3 years agoFix to avoid freeing not-malloc'ed memory in multihop test.
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>

3 years agoUse generated OBJSIZE_* constants instead of hard-coded values.
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>

3 years agoT306: Rename defined cap constants. Introduce CNode abstract type, let ARM_l1{/2...
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>

3 years agoT306: Refine capability inheritance by allowing inheriting capabilities to extend...
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>

3 years agoarmv8: removing GEM8 CPU
Reto Achermann [Wed, 12 Oct 2016 13:04:35 +0000]
armv8: removing GEM8 CPU

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

3 years agoarmv8: making sections correct in efiboot
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>

3 years agoarmv8: correcting GIC addresses on APM88xxxxx
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>

3 years agoarmv8: removing GEM5 platform
Reto Achermann [Wed, 12 Oct 2016 13:02:03 +0000]
armv8: removing GEM5 platform

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

3 years agoarmv8: adding dependencies to the platform hakefile renaming platforms
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>

3 years agoirqtest: Fix for crashes on pci_lnk's add_mapping
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>

3 years agoarmv8: adding explicit notion of caller-save and callee save registers
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>

3 years agoAdded module dependencies for x86_64 qemu boot targets.
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>

3 years ago[libbarrelfish] Properly check for error in case slab_alloc fails.
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>

3 years agoRemoved unused cap type Notify_RCK.
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>

3 years agoT306: Rename mapping.frame to mapping.cap
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>

3 years agoT306: Change cap definitions to use inheritance mechanism.
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>

3 years agoT306: extend Hamlet to parse abstract cap definitions and let other caps inherit...
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>

3 years agoharness: mt_waitset test: increase test timeout by factor 2, properly implement proce...
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>

3 years agoarmv8: removing tmas/paging and merge with armv8/paging.c
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>

3 years agoarmv8: adding missing platform stubs for mustang
Reto Achermann [Sun, 9 Oct 2016 18:53:14 +0000]
armv8: adding missing platform stubs for mustang

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

3 years agoarmv8: pmap fixes to make barrelfish boot further, still needs more work. (T303)
Reto Achermann [Sat, 8 Oct 2016 11:22:39 +0000]
armv8: pmap fixes to make barrelfish boot further, still needs more work. (T303)

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

3 years agoarmv8: simplifying exception handling by passing the cause to the handler function...
Reto Achermann [Sat, 8 Oct 2016 11:21:00 +0000]
armv8: simplifying exception handling by passing the cause to the handler function (T300)

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

3 years agoarmv8: fix vroot for ARMv8 which is L0 not L1
Reto Achermann [Sat, 8 Oct 2016 11:16:16 +0000]
armv8: fix vroot for ARMv8 which is L0 not L1

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

3 years agoarmv8: fixing bugs in the syscall handlers to match invocations (T300)
Reto Achermann [Sat, 8 Oct 2016 08:47:51 +0000]
armv8: fixing bugs in the syscall handlers to match invocations (T300)

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

3 years agoarmv8: properly passing syscall arguments to the kernel. (T300)
Reto Achermann [Sat, 8 Oct 2016 08:45:12 +0000]
armv8: properly passing syscall arguments to the kernel. (T300)

From user-space syscall took 12 arguments, only 6 of them were
passed properly to the kernel, as they were overridden
by the exception handling assembly code.

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

3 years agoarmv8: fixing wrong assert on capability invocations (T300)
Reto Achermann [Fri, 7 Oct 2016 18:12:27 +0000]
armv8: fixing wrong assert on capability invocations (T300)

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

3 years agoharness: Fix webserver test to not choke when test log missing
Simon Gerber [Fri, 7 Oct 2016 16:05:22 +0000]
harness: Fix webserver test to not choke when test log missing

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

3 years agoharness: fix broken super() in webserver test
Simon Gerber [Fri, 7 Oct 2016 15:41:03 +0000]
harness: fix broken super() in webserver test

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

3 years agoharness: fix error inclusion in junit report generation
Simon Gerber [Fri, 7 Oct 2016 15:38:00 +0000]
harness: fix error inclusion in junit report generation

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

3 years agoharness: httperf test: fail when webserver crashes after starting
Simon Gerber [Fri, 7 Oct 2016 15:17:57 +0000]
harness: httperf test: fail when webserver crashes after starting

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

3 years agoharness: simulator tests: gracefully handle EOF on read from sub-process when telnet...
Simon Gerber [Fri, 7 Oct 2016 13:58:48 +0000]
harness: simulator tests: gracefully handle EOF on read from sub-process when telnet socket is closed due to simulator exiting

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

3 years agoarmv8: adding general purpose registers to the documentation
Reto Achermann [Fri, 7 Oct 2016 12:41:20 +0000]
armv8: adding general purpose registers to the documentation

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

3 years agoarmv8: replacing tabs with spaces
Reto Achermann [Thu, 6 Oct 2016 13:22:25 +0000]
armv8: replacing tabs with spaces

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

3 years agofixup! flounder: replace tabs with spaces to squash haskell warnings
Reto Achermann [Thu, 6 Oct 2016 09:09:49 +0000]
fixup! flounder: replace tabs with spaces to squash haskell warnings

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

3 years agokernel: Adding proper target for a57v cpu
Reto Achermann [Thu, 6 Oct 2016 08:59:27 +0000]
kernel: Adding proper target for a57v cpu

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

3 years agoarmv8: pass over startup_arch + additionts to init.h and platform.h
Reto Achermann [Thu, 6 Oct 2016 08:58:08 +0000]
armv8: pass over startup_arch + additionts to init.h and platform.h

also replacing tabs with spaces in startup_arch.c

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

3 years agoarmv8: adding function to find cmdline from multiboot
Reto Achermann [Thu, 6 Oct 2016 08:52:02 +0000]
armv8: adding function to find cmdline from multiboot

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

3 years agoarmv8: update linker script to reflect changes in efi-boot
Reto Achermann [Thu, 6 Oct 2016 08:51:15 +0000]
armv8: update linker script to reflect changes in efi-boot

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