barrelfish
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 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 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>

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 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 agoStore BSP KCB in octopus as KCB 0 and update coreboot test to account for existence...
Simon Gerber [Thu, 11 Aug 2016 17:52:59 +0000]
Store BSP KCB in octopus as KCB 0 and update coreboot test to account for existence of KCB 0

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

4 years agoharness: Improve exception output in xml reports and put interactive test output...
Simon Gerber [Thu, 11 Aug 2016 17:14:31 +0000]
harness: Improve exception output in xml reports and put interactive test output where the rest of harness expects it

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

4 years agoharness: factor out line cleaning and use in process_output()
Simon Gerber [Thu, 11 Aug 2016 14:34:26 +0000]
harness: factor out line cleaning and use in process_output()

Also fix case where we can't find "root (nd)" in output and assume no garbled
BIOS output in that case (qemu, etc)

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

4 years agoFix harness to properly strip terminal color control codes
Simon Gerber [Thu, 11 Aug 2016 10:05:43 +0000]
Fix harness to properly strip terminal color control codes

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

4 years agoFix kernel struct dispatcher_shared_arm include in exceptions.h
Simon Gerber [Tue, 9 Aug 2016 12:47:27 +0000]
Fix kernel struct dispatcher_shared_arm include in exceptions.h

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

4 years agoIRQ: kaluga: pass driver_argument pointer to default_start_function for network card...
Simon Gerber [Wed, 10 Aug 2016 14:59:54 +0000]
IRQ: kaluga: pass driver_argument pointer to default_start_function for network card drivers

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

4 years agoT258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND when encountering null cnode...
Simon Gerber [Wed, 10 Aug 2016 14:59:25 +0000]
T258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND when encountering null cnode cap during lookup

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

4 years agoIRQ: Instantiate pci link controller earlier
Lukas Humbel [Wed, 10 Aug 2016 14:33:27 +0000]
IRQ: Instantiate pci link controller earlier

On machines with non-trivial pci hierarchies, the pci link
controllers got instantiated too early, before every prt
entry was added to the skb. Now we instantiate the controller
as soon as the discovery is done.

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