Simon Gerber [Wed, 19 Oct 2016 12:40:05 +0000]
T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
This commit replaces num_monitors_online() which was implemented as a query to
octopus for the number of online spawnd processes, with a function that counts
all intermon bindings that have the capops_ready flag set. This is what we
really need to know to decide what to do in the distributed capabilities code.
Closes T310.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Tue, 18 Oct 2016 15:53:16 +0000]
Added missing e1000 device id
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Simon Gerber [Tue, 18 Oct 2016 15:46:04 +0000]
T309: harness: Fix initialization of "real" pandaboard machines and add missing method
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Tue, 18 Oct 2016 14:57:21 +0000]
Fix TimerTest on machines with two cores
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Adam Turowski [Tue, 18 Oct 2016 11:44:10 +0000]
netd: setting a proper size of ARP response
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 11:20:32 +0000]
menu.lst for Pandaboard: Enable usb_manager, usb_keyboard by default
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 11:10:55 +0000]
usb_manager/omap44xx: Use barrelfish_usleep for delays
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 11:10:24 +0000]
kaluga/startup: Do not wait for ACPI on armv7
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:16:06 +0000]
usbboot: Increase waiting time to 1s, was .25ms
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:15:26 +0000]
kaluga/omap44xx: Fix memory leak when spawning drivers
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:14:04 +0000]
kaluga/device_cap: Use frame_identify instead of direct invocation
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:13:30 +0000]
kaluga/omap44xx: Provide correct set of caps to usb_manager
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:13:01 +0000]
usb_manager/omap44xx: Initialize USB controller
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 18 Oct 2016 10:08:39 +0000]
kernel/capabilities: Use correct base field in sprint_cap for DevFrame
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
David Cock [Mon, 17 Oct 2016 09:01:26 +0000]
ARMv7: Use --export-dynamic in kernel link.
This ensures that the got_base symbol (and others) appear in the dynamic
symbol table, without relying on the vagaries of the link.
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
Lukas Humbel [Fri, 14 Oct 2016 17:52:04 +0000]
IRQ: Make irqtest work on real hardware
Before we counted too many interrupts which messed up the test.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 14 Oct 2016 15:59:42 +0000]
T308: Improve support for Intel 82574 gbe network cards
It turns out the card is too similiar to give it an extra driver, remove
the e1000e binary and improve e1000n instead. e1000n needs refactoring.
The driver does not hang on hw reset (on the 82574) and the interrupt
handling is correct enough to let irqtest pass (with legacy interrupts).
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 14 Oct 2016 15:53:57 +0000]
IRQ: Merge irqtest into driver e1000n driver
irqtest was duplicating the e1000 driver. This has been replaced
with an extra build command and the UNDER_TEST preprocess define.
Also, the binary name was changed to e1000n_irqtest as it better
reflects what its actually doing.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 11 Oct 2016 16:32:31 +0000]
T308: Added e1000e mackerel and device driver stub
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 11 Oct 2016 09:21:44 +0000]
T308: Add e1000e irqtest stub. Add support for e1000e in QEMU
qemu_wrapper now accepts more arguments for specifying what nic to
use.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 10 Oct 2016 13:24:33 +0000]
IRQ: Allow retyping of IRQSrc capability
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Fri, 7 Oct 2016 15:14:07 +0000]
IRQ: Add range to IRQSrc cap
To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Thu, 6 Oct 2016 14:59:39 +0000]
IRQ: Added tags to irq_routing_new
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Moritz Hoffmann [Fri, 14 Oct 2016 15:21:51 +0000]
Revert "libbarrelfish/init: Correctly set thread status on libc exit. Fixes T194"
Various tests time out with this change. We have to look at what
thread_exit is actually doing that is necessary for libc exit.
This reverts commit
fe18a4b45c2ae965a3345f0aebe314378e1d18d8.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Fri, 14 Oct 2016 11:56:36 +0000]
libbarrelfish/init: Correctly set thread status on libc exit. Fixes T194
Previously, thread_exit was used when it could no longer be safely executed
causing page faults.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Fri, 14 Oct 2016 11:54:45 +0000]
libbarrelfish/threads: Provide thread_set_status to set return status of a thread
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 14:39:55 +0000]
hake/X86_64: add -Wno-frame-address to default flags.
GCC 6.1 warns on unsafe use of __builtin_return_address(x) for x > 0.
This patch disables the warning.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 14:37:00 +0000]
spantest/exit: For printf formatting.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 14:35:07 +0000]
Kernel/capabilities: Remove redundant size check from check_caps_create_arguments.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Thu, 13 Oct 2016 13:20:06 +0000]
harness: fix gem5 machine to use correct boot image, and fix kernel command line parsing.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 13:25:04 +0000]
Fix to avoid freeing not-malloc'ed memory in multihop test.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 12:41:44 +0000]
Use generated OBJSIZE_* constants instead of hard-coded values.
This requires more cleanup of code that still requires sizes in bits, e.g.
the memory server.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 12:39:24 +0000]
T306: Rename defined cap constants. Introduce CNode abstract type, let ARM_l1{/2} inherit from VNode.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 13 Oct 2016 12:36:37 +0000]
T306: Refine capability inheritance by allowing inheriting capabilities to extend super types.
This is a first step to producing better structured capability union types.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Lukas Humbel [Wed, 12 Oct 2016 11:57:08 +0000]
irqtest: Fix for crashes on pci_lnk's add_mapping
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Reto Achermann [Wed, 12 Oct 2016 10:58:00 +0000]
armv8: adding explicit notion of caller-save and callee save registers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Timothy Roscoe [Tue, 11 Oct 2016 15:27:52 +0000]
Added module dependencies for x86_64 qemu boot targets.
Removed old x86_32 boot targets.
Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
Simon Gerber [Tue, 11 Oct 2016 15:24:44 +0000]
[libbarrelfish] Properly check for error in case slab_alloc fails.
Reported-by: Andreas Furrer <anfurrer@student.ethz.ch>
Signed-off-by: Andreas Furrer <anfurrer@student.ethz.ch>
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 11:06:29 +0000]
Removed unused cap type Notify_RCK.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 09:18:37 +0000]
T306: Rename mapping.frame to mapping.cap
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 09:00:39 +0000]
T306: Change cap definitions to use inheritance mechanism.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 11 Oct 2016 08:59:52 +0000]
T306: extend Hamlet to parse abstract cap definitions and let other caps inherit from them.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Mon, 10 Oct 2016 08:32:49 +0000]
harness: mt_waitset test: increase test timeout by factor 2, properly implement process_data()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 7 Oct 2016 16:05:22 +0000]
harness: Fix webserver test to not choke when test log missing
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 7 Oct 2016 15:41:03 +0000]
harness: fix broken super() in webserver test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 7 Oct 2016 15:38:00 +0000]
harness: fix error inclusion in junit report generation
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 7 Oct 2016 15:17:57 +0000]
harness: httperf test: fail when webserver crashes after starting
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 7 Oct 2016 13:58:48 +0000]
harness: simulator tests: gracefully handle EOF on read from sub-process when telnet socket is closed due to simulator exiting
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Fri, 7 Oct 2016 12:41:20 +0000]
armv8: adding general purpose registers to the documentation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 13:22:25 +0000]
armv8: replacing tabs with spaces
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 09:09:49 +0000]
fixup! flounder: replace tabs with spaces to squash haskell warnings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:59:27 +0000]
kernel: Adding proper target for a57v cpu
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:58:08 +0000]
armv8: pass over startup_arch + additionts to init.h and platform.h
also replacing tabs with spaces in startup_arch.c
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:52:02 +0000]
armv8: adding function to find cmdline from multiboot
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:51:15 +0000]
armv8: update linker script to reflect changes in efi-boot
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:47:28 +0000]
armv8/hake: using new command line parameter format
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:44:30 +0000]
armv8: using arm generic misc.c
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:43:58 +0000]
armv8: introducing platformfiles for A57 and generic ARM virtual machine (qemu)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:40:40 +0000]
armv8/apm88xxxx: removing directory and moving functionality to plat_* files.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:27:54 +0000]
armv8: renaming wrongly named hash-define
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 6 Oct 2016 08:26:53 +0000]
armv8: adding arch_info struct for armv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 5 Oct 2016 13:44:17 +0000]
nkm: adding type for ARMv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 5 Oct 2016 11:44:12 +0000]
armv8: moving of efi boot code into arm directory
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 5 Oct 2016 11:24:59 +0000]
kernel: stdlib - adding wrapper tu support long long integer parsing
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 5 Oct 2016 11:23:41 +0000]
arm: renaming kludges to gdb_arch and separaring common part
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 4 Oct 2016 12:58:19 +0000]
getopt: adding support for long
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 4 Oct 2016 08:48:21 +0000]
qemu/armv8: adding clarifications and tabs->spaces
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 4 Oct 2016 08:47:34 +0000]
armv8: renaming menu.lst using the a57v suffix
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 4 Oct 2016 07:45:37 +0000]
flounder: replace tabs with spaces to squash haskell warnings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Moritz Hoffmann [Thu, 25 Aug 2016 16:21:12 +0000]
kernel/armv8: fix is_root_pt to return true when type is L0.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
Moritz Hoffmann [Wed, 3 Aug 2016 01:43:54 +0000]
kernel/paging: Correct compile_vaddr for AARCH64.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
Reto Achermann [Thu, 4 Aug 2016 15:25:57 +0000]
ARMv8: don't define PREFER_SIZE_OVER_SPEED as compiler flag
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Aug 2016 15:24:12 +0000]
acpi: fixing typo in printf statememt, adding more debug statements
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Aug 2016 15:18:15 +0000]
ARMv8: making Barrelfish boot on the X-Gene
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Aug 2016 15:16:49 +0000]
ARMv8: simplify multiboot2 find header
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Aug 2016 15:15:08 +0000]
ARMv8: enabling access to performance monitor from userspace
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Aug 2016 15:11:53 +0000]
ARMv8: disable alignment checking to allow unaligned accesses
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Aug 2016 15:06:34 +0000]
hwrecords: do not use hex printing in processor record
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 2 Aug 2016 16:34:32 +0000]
ARMv8: passing stack parameter correctly to vminit
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 2 Aug 2016 16:29:28 +0000]
acpia: enable ACPI_MISALIGNMENT_NOT_SUPPORTED flag for ARMv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Moritz Hoffmann [Wed, 27 Jul 2016 23:24:03 +0000]
kernel/armv8: Set page table bits correctly to handle uncached memory.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
Moritz Hoffmann [Tue, 26 Jul 2016 23:29:55 +0000]
acpi: Correct get_handle implementation.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
Moritz Hoffmann [Wed, 5 Oct 2016 13:54:28 +0000]
Multihop: Replace tab by spaces. Space-only change to silence Haskell warnings.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 5 Oct 2016 12:52:21 +0000]
T260: Implement
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Mon, 3 Oct 2016 08:04:32 +0000]
gmp: use provided config.status instead of running configure
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 4 Oct 2016 14:03:44 +0000]
Revert "libgmp: remove dependency to libbarrelfish"
This reverts commit
23d7bf5f4f16d13279127b3711ecc6bf279598ad.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 15:05:40 +0000]
harness: compiler-rt: comment out known-to-fail test cases
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 14:36:48 +0000]
if/monitor.if: multihop_message: increase payload buffer size to 2048
Closes T278.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 14:36:20 +0000]
harness: Exit test when we encounter a line starting with "Aborted"
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 09:15:24 +0000]
nkm tests: x86-64 invalid mappings: fix case where we cannot allocate 1GB frame
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 07:40:05 +0000]
libbarrelfish: arm pmap: fix flag passing in modify_flags
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 07:39:23 +0000]
kernel: dump_ptables: armv7: print rw flags for small pages
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 07:38:39 +0000]
kernel: arm: fix modify_flags invocation
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 4 Oct 2016 07:37:48 +0000]
nkmtest: make arm version compile and only check fault type on x86
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 3 Oct 2016 15:25:20 +0000]
harness: Add test for vnode_map() with too many ptes requested
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 3 Oct 2016 15:14:14 +0000]
armv7: paging: proper check if `pte_count` pages fit inside source frame starting at `offset`
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 3 Oct 2016 15:13:28 +0000]
vnode_map: add test with pte_count larger than fits in source Frame
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 28 Sep 2016 09:58:21 +0000]
T291: kernel: include bitmacros.h in kernel.h
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 28 Sep 2016 09:03:29 +0000]
T291: create_mapping_cap:Properly check that offsets into mapped frames are <= 4TB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Wed, 28 Sep 2016 08:32:01 +0000]
T291: add implementation for armv7/8
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
projects / barrelfish / log