barrelfish
4 years agoDeviceQueue: Solarflare driver removed mac stats cap transfer
Roni Häcki [Thu, 8 Sep 2016 12:12:02 +0000]
DeviceQueue: Solarflare driver removed mac stats cap transfer

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Solarflare driver added
Roni Häcki [Thu, 8 Sep 2016 10:48:49 +0000]
DeviceQueue: Solarflare driver added

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Test changed to test forwarding functions only when flag is defined
Roni Häcki [Wed, 7 Sep 2016 16:11:02 +0000]
DeviceQueue: Test changed to test forwarding functions only when flag is defined

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Creation of forwarding queue changed
Roni Häcki [Wed, 7 Sep 2016 16:04:25 +0000]
DeviceQueue: Creation of forwarding queue changed

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Split up Data and Control plane into two channels
Roni Häcki [Wed, 7 Sep 2016 14:52:29 +0000]
DeviceQueue: Split up Data and Control plane into two channels

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoMerge branch 'master' into device-queue
Roni Häcki [Fri, 2 Sep 2016 07:20:39 +0000]
Merge branch 'master' into device-queue

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

Conflicts:
hake/K1om.hs
if/Hakefile
tools/harness/tests/common.py
tools/harness/tests/coreboottest.py

4 years agoHarness: Disable read after finish as it breaks some tests
Lukas Humbel [Thu, 1 Sep 2016 14:39:43 +0000]
Harness: Disable read after finish as it breaks some tests

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

4 years agoHarness: Flush console after test has finished
Lukas Humbel [Thu, 1 Sep 2016 13:16:04 +0000]
Harness: Flush console after test has finished

When a tests sets is_finished a bit too early, it might
hide important error messages. Harness now reads from console
until it blocks (or at most most 30 seconds) after the test declares itself
finished.

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

4 years agoflounder: removing monitor header file dependency from UMP
Adam Turowski [Thu, 1 Sep 2016 09:07:05 +0000]
flounder: removing monitor header file dependency from UMP

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

4 years agoRevert changes to test.if to make everything compile again
Lukas Humbel [Wed, 31 Aug 2016 14:01:20 +0000]
Revert changes to test.if to make everything compile again

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

4 years agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Adam Turowski [Wed, 31 Aug 2016 13:05:01 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

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

4 years agomt-waitset: fixing the token generator which under special circumstances could genera...
Adam Turowski [Wed, 31 Aug 2016 13:03:21 +0000]
mt-waitset: fixing the token generator which under special circumstances could generate token 0 (which is bad)

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

4 years agomt-waitset,flounder: not perfect fix of the cap transfer issue via UMP
Adam Turowski [Wed, 31 Aug 2016 13:01:56 +0000]
mt-waitset,flounder: not perfect fix of the cap transfer issue via UMP

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

4 years agoAdded idc test to harness
Lukas Humbel [Wed, 31 Aug 2016 11:57:22 +0000]
Added idc test to harness

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

4 years agomt-waitset,flounder: adding mutexes to LMP
Adam Turowski [Tue, 30 Aug 2016 09:44:53 +0000]
mt-waitset,flounder: adding mutexes to LMP

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

4 years agoMake sure network domains are started by Kaluga.
Lukas Humbel [Mon, 29 Aug 2016 15:29:27 +0000]
Make sure network domains are started by Kaluga.

The only argument for netd/NGD_mng and e1000n should be 'auto'.
Also corrected paths for nfs throughput test.

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

4 years agoFix webserver test by putting everything on core 0
Lukas Humbel [Mon, 29 Aug 2016 14:30:43 +0000]
Fix webserver test by putting everything on core 0

Driver now started by Kaluga. Everything runs on core 0.

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

4 years agoHarness: Don't fail on utf-8 encoding
Lukas Humbel [Mon, 29 Aug 2016 13:28:31 +0000]
Harness: Don't fail on utf-8 encoding

The tag file of cscope may contain unicode characters, and
they show up when we want to do a git diff.

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

4 years agoHarness: Fix panda_local machine
Lukas Humbel [Mon, 29 Aug 2016 13:27:36 +0000]
Harness: Fix panda_local machine

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

4 years agoAdd tests for cap transfer
Lukas Humbel [Fri, 26 Aug 2016 15:19:02 +0000]
Add tests for cap transfer

rpc_cap_local test cap transfer on same core, rpc_cap_cross
test cross core cap transfer.

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

4 years agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Adam Turowski [Fri, 26 Aug 2016 16:50:29 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

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

4 years agotests: multithreaded waitset test
Adam Turowski [Fri, 26 Aug 2016 16:46:44 +0000]
tests: multithreaded waitset test

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

4 years agoharness: Fix git extra info for detached HEAD state
Simon Gerber [Fri, 26 Aug 2016 12:07:27 +0000]
harness: Fix git extra info for detached HEAD state

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

4 years agoHarness: Fix for tests without get_modules.
Lukas Humbel [Fri, 26 Aug 2016 10:55:04 +0000]
Harness: Fix for tests without get_modules.

Some tests (such as buildall) don't implement the method
get_modules.

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

4 years agoHarness: Write menu.lst to output directory
Lukas Humbel [Thu, 25 Aug 2016 14:46:49 +0000]
Harness: Write menu.lst to output directory

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

4 years agoScalebench: Add git metadata (rev/branch/patch) in log dir
Lukas Humbel [Thu, 25 Aug 2016 13:25:59 +0000]
Scalebench: Add git metadata (rev/branch/patch) in log dir

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

4 years agoKaluga x86 startup: Be tolerant when module is not found
Lukas Humbel [Thu, 25 Aug 2016 09:11:48 +0000]
Kaluga x86 startup: Be tolerant when module is not found

No longer crash when lpc_timer (and serial) is not found.

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

4 years agoTrying to fix vmkit test.
Lukas Humbel [Thu, 25 Aug 2016 09:08:00 +0000]
Trying to fix vmkit test.

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

4 years agoIRQ: Int route service: corrected use of continuations
Lukas Humbel [Thu, 25 Aug 2016 09:06:51 +0000]
IRQ: Int route service: corrected use of continuations

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

4 years agoIRQ: Fix timer test. lpc_timer is now started by Kaluga
Lukas Humbel [Wed, 24 Aug 2016 09:42:19 +0000]
IRQ: Fix timer test. lpc_timer is now started by Kaluga

As the lpc_timer binary must receive interrupts, it must
be started by Kaluga. Therefore it should be included
in menu.lst with the "auto" argument"

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

4 years agoharness: Handle assertion failure case for compiler-rt tests which default to pass
Simon Gerber [Tue, 23 Aug 2016 18:22:05 +0000]
harness: Handle assertion failure case for compiler-rt tests which default to pass

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

4 years agoharness: webserver tests: let Kaluga start e1000n, NGD_mng, and netd
Simon Gerber [Tue, 23 Aug 2016 14:46:21 +0000]
harness: webserver tests: let Kaluga start e1000n, NGD_mng, and netd

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

4 years agoharness: start cleaning up default_bootmodules()
Simon Gerber [Tue, 23 Aug 2016 14:43:32 +0000]
harness: start cleaning up default_bootmodules()

Move pci extra arguments for some of the ETH rack machines into
eth_machinedata.py and provide via machine.get_pci_args().  Move eth0
PCI bus:dev:fun triplet into eth_machinedata.py and provide to Kaluga via
machine.get_eth0().

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

4 years agoharness: refactor qemu x86_64 machines to allow easy creation of differently sized...
Simon Gerber [Tue, 23 Aug 2016 13:57:34 +0000]
harness: refactor qemu x86_64 machines to allow easy creation of differently sized x86_64 qemu multicore configurations

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

4 years agoT283: Device Ids for sbrinz1 added.
Lukas Humbel [Tue, 23 Aug 2016 14:56:50 +0000]
T283: Device Ids for sbrinz1 added.

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

4 years agoMake irqtest more tolerant
Lukas Humbel [Tue, 23 Aug 2016 14:29:39 +0000]
Make irqtest more tolerant

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

4 years agoDeviceQueue: control forward working
Roni Häcki [Tue, 23 Aug 2016 13:19:28 +0000]
DeviceQueue: control forward working

Signed-off-by: Roni Häcki <haeckir@student.ethz.ch>

4 years agoT283: Fix for irqtest on gruyere.
Lukas Humbel [Tue, 23 Aug 2016 13:05:59 +0000]
T283: Fix for irqtest on gruyere.

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

4 years agoKaluga: Print message for each driver startup
Lukas Humbel [Tue, 23 Aug 2016 13:05:35 +0000]
Kaluga: Print message for each driver startup

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

4 years agoharness: exit test on assertion failure
Simon Gerber [Tue, 23 Aug 2016 12:23:42 +0000]
harness: exit test on assertion failure

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

4 years agoharness: Add new build type "test" (no debug symbols, assertions enabled) and set...
Simon Gerber [Tue, 23 Aug 2016 12:06:52 +0000]
harness: Add new build type "test" (no debug symbols, assertions enabled) and set as default

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

4 years agoharness: Fix PassFailMultiResult.reason and add summary output about passed/failed...
Simon Gerber [Tue, 23 Aug 2016 07:53:02 +0000]
harness: Fix PassFailMultiResult.reason and add summary output about passed/failed tests at end of run

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

4 years agoT283: Fix irqtest on tomme
Lukas Humbel [Tue, 23 Aug 2016 12:20:50 +0000]
T283: Fix irqtest on tomme

So far, I ignored the Pin requested by the device. The code is now
also fault tolerant and will not produce an error in case the ACPI
entries for a PCI device are missing.

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

4 years agoDeviceQueue: Forwarding working
Roni Häcki [Tue, 23 Aug 2016 10:58:29 +0000]
DeviceQueue: Forwarding working

Signed-off-by: Roni Häcki <haeckir@student.ethz.ch>

4 years agoT282: Fix serial on sbrinz: IRQ now uses always coreid
Lukas Humbel [Mon, 22 Aug 2016 14:52:35 +0000]
T282: Fix serial on sbrinz: IRQ now uses always coreid

The interrupt routing system did confuse the apic id and BF
core id. Now the system always talks about coreid's internally
and the ioapic driver translates back to apic id.

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

4 years agoAdded comments in acpi_interrupts_arch.
Lukas Humbel [Mon, 22 Aug 2016 14:57:31 +0000]
Added comments in acpi_interrupts_arch.

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

4 years agoDeviceQueue: forwarding working up to other endpoint, way back not yet
Roni Häcki [Mon, 22 Aug 2016 16:06:45 +0000]
DeviceQueue: forwarding working up to other endpoint, way back not yet

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agooctopus: add octopus flounder interface to parser library, as we need message length...
Simon Gerber [Mon, 22 Aug 2016 11:58:33 +0000]
octopus: add octopus flounder interface to parser library, as we need message length definitions

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

4 years agooctopus: Use flounder definitions to specify size of result buffer
Simon Gerber [Mon, 22 Aug 2016 11:23:03 +0000]
octopus: Use flounder definitions to specify size of result buffer

Increase response buffer size to 4096 in interface, and use interface
definitions to define size of skb result buffer, this is a stopgap measure
before we figure out a new unlimited interface for querying the SKB (directly
or through octopus) over the new fixed-size buffer flounder infrastructure.

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

4 years agoMove canonical definitions of MIN/MAX macros to bitmacros.h, remove duplicated defini...
Simon Gerber [Mon, 22 Aug 2016 09:44:33 +0000]
Move canonical definitions of MIN/MAX macros to bitmacros.h, remove duplicated definitions in lib and usr

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

4 years agoDeviceQueue: Loopback device functions implemented
Roni Häcki [Mon, 22 Aug 2016 09:19:42 +0000]
DeviceQueue: Loopback device functions implemented

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: fix for buffer id in enqueue
Roni Häcki [Mon, 22 Aug 2016 08:24:44 +0000]
DeviceQueue: fix for buffer id in enqueue

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Direct functions working
Roni Häcki [Mon, 22 Aug 2016 08:06:30 +0000]
DeviceQueue: Direct functions working

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agousbboot can now auto-detect revisions 1 to 3 of the Pandaboard ES.
Simon Peter [Fri, 19 Aug 2016 16:55:28 +0000]
usbboot can now auto-detect revisions 1 to 3 of the Pandaboard ES.

Signed-off-by: Simon Peter <simon@cs.utexas.edu>

4 years agoDeviceQueue: Direct interface, create/register/enqueue working
Roni Häcki [Fri, 19 Aug 2016 15:08:29 +0000]
DeviceQueue: Direct interface, create/register/enqueue working

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: sending back error from flounder handlers
Roni Häcki [Wed, 17 Aug 2016 14:39:11 +0000]
DeviceQueue: sending back error from flounder handlers

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: devq_control working
Roni Häcki [Wed, 17 Aug 2016 14:33:57 +0000]
DeviceQueue: devq_control working

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: keeping track of buffers on both sides
Roni Häcki [Wed, 17 Aug 2016 13:57:46 +0000]
DeviceQueue: keeping track of buffers on both sides

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Keeping track of regions on both sides
Roni Häcki [Wed, 17 Aug 2016 13:23:42 +0000]
DeviceQueue: Keeping track of regions on both sides

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: test and dummy device added
Roni Häcki [Wed, 17 Aug 2016 12:59:13 +0000]
DeviceQueue: test and dummy device added

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: deregister call working.
Roni Häcki [Wed, 17 Aug 2016 12:49:07 +0000]
DeviceQueue: deregister call working.

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Enqueue/Dequeue of descriptors now bidirectional
Roni Häcki [Wed, 17 Aug 2016 12:36:11 +0000]
DeviceQueue: Enqueue/Dequeue of descriptors now bidirectional

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Passing from user to device working
Roni Häcki [Wed, 17 Aug 2016 11:23:15 +0000]
DeviceQueue: Passing from user to device working

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agohake: replacing tab with spaces to squash compiler warning
Reto Achermann [Wed, 17 Aug 2016 07:04:27 +0000]
hake: replacing tab with spaces to squash compiler warning

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

4 years agoweever: update flags for new k1om gcc
Simon Gerber [Tue, 16 Aug 2016 16:49:21 +0000]
weever: update flags for new k1om gcc

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

4 years agoK1OM toolchain update: harness: fix path for MPSS
Simon Gerber [Tue, 16 Aug 2016 16:48:53 +0000]
K1OM toolchain update: harness: fix path for MPSS

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

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 agoDeviceQueue: Register working
Roni Häcki [Tue, 16 Aug 2016 16:05:38 +0000]
DeviceQueue: Register working

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: removed net/block init
Roni Häcki [Tue, 16 Aug 2016 15:31:13 +0000]
DeviceQueue: removed net/block init

Signed-off-by: Roni Häcki <roni.haecki@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 agoDeviceQueue: forgot to add queue_interface.c
Roni Häcki [Tue, 16 Aug 2016 15:18:40 +0000]
DeviceQueue: forgot to add queue_interface.c

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Changed descq init
Roni Häcki [Tue, 16 Aug 2016 15:17:23 +0000]
DeviceQueue: Changed descq init

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Change to async messages
Roni Häcki [Tue, 16 Aug 2016 15:08:07 +0000]
DeviceQueue: Change to async messages

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: Setup working, create reponse pagefaults on response
Roni Häcki [Tue, 16 Aug 2016 14:14:14 +0000]
DeviceQueue: Setup working, create reponse pagefaults on response
             (RPC broken?). Will now change to async messages instead of RPC

Signed-off-by: Roni Häcki <roni.haecki@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 agoDeviceQueue: Channel setup callbacks and empty functions
Roni Häcki [Tue, 16 Aug 2016 08:02:03 +0000]
DeviceQueue: Channel setup callbacks and empty functions

Signed-off-by: Roni Häcki <roni.haecki@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 agoDeviceQueue: Started queue and channel setup
Roni Häcki [Fri, 12 Aug 2016 15:07:37 +0000]
DeviceQueue: Started queue and channel setup

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: shared memory queue implementation
Roni Häcki [Fri, 12 Aug 2016 14:16:24 +0000]
DeviceQueue: shared memory queue implementation

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: pushed descriptor queue to desc_queue.c
Roni Häcki [Fri, 12 Aug 2016 12:43:19 +0000]
DeviceQueue: pushed descriptor queue to desc_queue.c

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoDeviceQueue: devif flounder interface
Roni Häcki [Fri, 12 Aug 2016 11:32:22 +0000]
DeviceQueue: devif flounder interface

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>