Simon Gerber [Thu, 25 Aug 2016 11:17:11 +0000]
harness: fix core ranges for memtest_multicore and retype_multi.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 25 Aug 2016 10:19:32 +0000]
T284: T285: Store RPC recv slots in thread struct
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 24 Aug 2016 08:21:26 +0000]
T284: Fix logic for when to fail when no new recv slot provided
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 24 Aug 2016 08:10:38 +0000]
T284: Change flounder to use provided slots when in RPC and call lmp_chan_alloc_recv_slot() otherwise
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Adam Turowski [Tue, 20 Sep 2016 09:54:51 +0000]
mt-waitset: adding masking of channels so a thread won't handle two messages at the same time
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 19 Sep 2016 13:03:16 +0000]
Adding some initializations
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Adam Turowski [Fri, 26 Aug 2016 16:46:44 +0000]
tests: multithreaded waitset test
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Lukas Humbel [Tue, 23 Aug 2016 14:29:39 +0000]
Make irqtest more tolerant
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
projects / barrelfish / log