barrelfish
4 years agoAdding some initializations
Adam Turowski [Mon, 19 Sep 2016 13:03:16 +0000]
Adding some initializations

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

4 years agoflounder: checking if LMP receive function can actually receive a message
Adam Turowski [Thu, 15 Sep 2016 10:24:52 +0000]
flounder: checking if LMP receive function can actually receive a message

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

4 years agokaluga: removing free call of not malloced region
Adam Turowski [Mon, 5 Sep 2016 10:33:25 +0000]
kaluga: removing free call of not malloced region

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

4 years agomalloc: extra information about the function that attempted to free not-malloced...
Adam Turowski [Mon, 5 Sep 2016 10:31:48 +0000]
malloc: extra information about the function that attempted to free not-malloced region

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

4 years agoharness: adding multithreaded waitset test
Adam Turowski [Mon, 5 Sep 2016 09:32:18 +0000]
harness: adding multithreaded waitset test

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

4 years agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Adam Turowski [Fri, 2 Sep 2016 14:50:14 +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 agomonitor: fixing reordering of LMP messages during UMP cap transfer
Adam Turowski [Fri, 2 Sep 2016 14:48:55 +0000]
monitor: fixing reordering of LMP messages during UMP cap transfer

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

4 years agoMerge branch 'arm_coreboot'
David Cock [Fri, 2 Sep 2016 14:24:51 +0000]
Merge branch 'arm_coreboot'

This merge brings the new ARM Coreboot infrastructure into mainline
Barrelfish. This work is still experimental, but is sufficient to bring the
second core up on the Pandaboard, and in the FVP simulators.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Don't spawn cores on Zynq7000 - it's broken.
David Cock [Fri, 2 Sep 2016 14:24:22 +0000]
ARMv7: Don't spawn cores on Zynq7000 - it's broken.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoRPC cap test: more output
Lukas Humbel [Fri, 2 Sep 2016 13:05:28 +0000]
RPC cap test: more output

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

4 years agoARMv7: Don't autoboot cores on big.LITTLE - it's broken for now.
David Cock [Fri, 2 Sep 2016 12:24:22 +0000]
ARMv7: Don't autoboot cores on big.LITTLE - it's broken for now.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoExtended RPC+cap test
Lukas Humbel [Fri, 2 Sep 2016 11:54:03 +0000]
Extended RPC+cap test

Now uses multiple clients at the same time

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

4 years agoARMv7: bit.LITTLE boot target
David Cock [Fri, 2 Sep 2016 11:33:35 +0000]
ARMv7: bit.LITTLE boot target

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Identify A5 on boot.
David Cock [Fri, 2 Sep 2016 11:13:57 +0000]
ARMv7: Identify A5 on boot.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image).
David Cock [Fri, 2 Sep 2016 11:06:02 +0000]
ARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image).

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: DS-5 script for A15 FVP.
David Cock [Fri, 2 Sep 2016 10:44:51 +0000]
ARMv7: DS-5 script for A15 FVP.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: FVP A15 starts in secure mode, so use the right timer IRQ.
David Cock [Fri, 2 Sep 2016 10:44:23 +0000]
ARMv7: FVP A15 starts in secure mode, so use the right timer IRQ.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: A15/A17 FVPs. Don't quite work yet.
David Cock [Thu, 1 Sep 2016 19:15:21 +0000]
ARMv7: A15/A17 FVPs.  Don't quite work yet.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Added new FVP boot targets.
David Cock [Thu, 1 Sep 2016 18:49:09 +0000]
ARMv7: Added new FVP boot targets.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Added coreboot for Zynq7000 - doesn't work yet.
David Cock [Thu, 1 Sep 2016 18:44:11 +0000]
ARMv7: Added coreboot for Zynq7000 - doesn't work yet.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

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 agoARMv7: 4 core A15 in QEMU
David Cock [Wed, 31 Aug 2016 14:37:42 +0000]
ARMv7: 4 core A15 in QEMU

Cores boot, but we seem to have a UMP failure.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Single-core A15 now uses SKB
David Cock [Wed, 31 Aug 2016 14:27:12 +0000]
ARMv7: Single-core A15 now uses SKB

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Renamed SKB files to remove FVP reference.
David Cock [Wed, 31 Aug 2016 14:19:32 +0000]
ARMv7: Renamed SKB files to remove FVP reference.

They're not FVP-specific.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Coreboot paramaters through the SKB
David Cock [Wed, 31 Aug 2016 14:12:34 +0000]
ARMv7: Coreboot paramaters through the SKB

For ARMv7 platforms, this patch modifies Kaluga and Coreboot to discover the
available CPUs, and their boot parameters (e.g. CPU driver binary) via the
SKB, where this data is preseeded, as we can't easily probe a lot of this
without ACPI.

This *should* let us implement Coreboot pretty easily for A15 and A17.

Signed-off-by: David Cock <david.cock@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 agoARMv7: Removed unused dependences from CPU drivers.
David Cock [Tue, 30 Aug 2016 16:11:12 +0000]
ARMv7: Removed unused dependences from CPU drivers.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Boot all cores on the Pandaboard
David Cock [Tue, 30 Aug 2016 15:20:31 +0000]
ARMv7: Boot all cores on the Pandaboard

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Set all mappings to inner-shareable.
David Cock [Tue, 30 Aug 2016 15:19:03 +0000]
ARMv7: Set all mappings to inner-shareable.

The mapping attribute code needs to be rewritten, but this at least allows UMP
to work for the time being.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Updated pandaboard debug scripts
David Cock [Tue, 30 Aug 2016 14:46:41 +0000]
ARMv7: Updated pandaboard debug scripts

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoMerge branch 'master' into arm_coreboot
David Cock [Tue, 30 Aug 2016 13:07:17 +0000]
Merge branch 'master' into arm_coreboot

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Conflicts:
include/arch/arm/barrelfish/invocations_arch.h

4 years agoARMv7: Manual coreboot works on Pandaboard
David Cock [Tue, 30 Aug 2016 12:16:52 +0000]
ARMv7: Manual coreboot works on Pandaboard

Module that fact the UMP isn't working properly with ARM caches.

Signed-off-by: David Cock <david.cock@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 agoARMv7: Factored boot protocol out of plat_vexpress
David Cock [Mon, 29 Aug 2016 16:02:51 +0000]
ARMv7: Factored boot protocol out of plat_vexpress

Signed-off-by: David Cock <david.cock@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 agoARMv7: All cores now come up on boot.
David Cock [Mon, 29 Aug 2016 15:03:55 +0000]
ARMv7: All cores now come up on boot.

Signed-off-by: David Cock <david.cock@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 agoARMv7: Add cpu_boot.S for A15
David Cock [Fri, 26 Aug 2016 18:50:21 +0000]
ARMv7: Add cpu_boot.S for A15

Signed-off-by: David Cock <david.cock@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 agoARMv7: Route IRQs to the CPU that enables them.
David Cock [Fri, 26 Aug 2016 16:57:45 +0000]
ARMv7: Route IRQs to the CPU that enables them.

This will need to be revisited, but allows us to avoid unhandled IRQ
exceptions for the moment.

Signed-off-by: David Cock <david.cock@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 agoARM: Report number of SPIs correctly on boot.
David Cock [Fri, 26 Aug 2016 10:17:08 +0000]
ARM: Report number of SPIs correctly on boot.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoserial: retabbed serial_pl011.c
David Cock [Fri, 26 Aug 2016 07:45:06 +0000]
serial: retabbed serial_pl011.c

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Use bytes, not bits for URPC frame.
David Cock [Fri, 26 Aug 2016 07:38:51 +0000]
ARMv7: Use bytes, not bits for URPC frame.

Coreboot now makes it into spawnd on core 1.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Clone CPU driver cmdline correctly.
David Cock [Thu, 25 Aug 2016 14:46:51 +0000]
ARMv7: Clone CPU driver cmdline correctly.

Signed-off-by: David Cock <david.cock@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 agoARMv7: Disable all PC-relative data relocations.
David Cock [Thu, 25 Aug 2016 14:06:19 +0000]
ARMv7: Disable all PC-relative data relocations.

They don't work with arbitrary data locations.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Zero CPU driver memory in coreboot
David Cock [Thu, 25 Aug 2016 14:06:02 +0000]
ARMv7: Zero CPU driver memory in coreboot

Signed-off-by: David Cock <david.cock@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 agoARMv7: Include core ID in kernel messages.
David Cock [Thu, 25 Aug 2016 09:33:41 +0000]
ARMv7: Include core ID in kernel messages.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Always load SP via the GOT.
David Cock [Thu, 25 Aug 2016 09:19:35 +0000]
ARMv7: Always load SP via the GOT.

This eliminates sharing of the pointer between cores.

Signed-off-by: David Cock <david.cock@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 agoARMv7: Pass the correct boot record address to the APP core
David Cock [Wed, 24 Aug 2016 15:46:13 +0000]
ARMv7: Pass the correct boot record address to the APP core

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoARMv7: Coreboot makes it inside the CPU driver.
David Cock [Wed, 24 Aug 2016 13:48:36 +0000]
ARMv7: Coreboot makes it inside the CPU driver.

Signed-off-by: David Cock <david.cock@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 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 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 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 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 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 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 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>