barrelfish
4 years agoT310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
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>

4 years agoAdded missing e1000 device id
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>

4 years agoT309: harness: Fix initialization of "real" pandaboard machines and add missing method
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>

4 years agoFix TimerTest on machines with two cores
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>

4 years agonetd: setting a proper size of ARP response
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>

4 years agomenu.lst for Pandaboard: Enable usb_manager, usb_keyboard by default
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>

4 years agousb_manager/omap44xx: Use barrelfish_usleep for delays
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>

4 years agokaluga/startup: Do not wait for ACPI on armv7
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>

4 years agousbboot: Increase waiting time to 1s, was .25ms
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>

4 years agokaluga/omap44xx: Fix memory leak when spawning drivers
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>

4 years agokaluga/device_cap: Use frame_identify instead of direct invocation
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>

4 years agokaluga/omap44xx: Provide correct set of caps to usb_manager
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>

4 years agousb_manager/omap44xx: Initialize USB controller
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>

4 years agokernel/capabilities: Use correct base field in sprint_cap for DevFrame
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>

4 years agoARMv7: Use --export-dynamic in kernel link.
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>

4 years agoIRQ: Make irqtest work on real hardware
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>

4 years agoT308: Improve support for Intel 82574 gbe network cards
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>

4 years agoIRQ: Merge irqtest into driver e1000n driver
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>

4 years agoT308: Added e1000e mackerel and device driver stub
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>

4 years agoT308: Add e1000e irqtest stub. Add support for e1000e in QEMU
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>

4 years agoIRQ: Allow retyping of IRQSrc capability
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>

4 years agoIRQ: Add range to IRQSrc cap
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>

4 years agoIRQ: Added tags to irq_routing_new
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>

4 years agoRevert "libbarrelfish/init: Correctly set thread status on libc exit. Fixes T194"
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>

4 years agolibbarrelfish/init: Correctly set thread status on libc exit. Fixes T194
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>

4 years agolibbarrelfish/threads: Provide thread_set_status to set return status of a thread
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>

4 years agohake/X86_64: add -Wno-frame-address to default flags.
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>

4 years agospantest/exit: For printf formatting.
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>

4 years agoKernel/capabilities: Remove redundant size check from check_caps_create_arguments.
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>

4 years agoharness: fix gem5 machine to use correct boot image, and fix kernel command line...
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>

4 years agoFix to avoid freeing not-malloc'ed memory in multihop test.
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>

4 years agoUse generated OBJSIZE_* constants instead of hard-coded values.
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>

4 years agoT306: Rename defined cap constants. Introduce CNode abstract type, let ARM_l1{/2...
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>

4 years agoT306: Refine capability inheritance by allowing inheriting capabilities to extend...
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>

4 years agoirqtest: Fix for crashes on pci_lnk's add_mapping
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>

4 years agoarmv8: adding explicit notion of caller-save and callee save registers
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>

4 years agoAdded module dependencies for x86_64 qemu boot targets.
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>

4 years ago[libbarrelfish] Properly check for error in case slab_alloc fails.
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>

4 years agoRemoved unused cap type Notify_RCK.
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>

4 years agoT306: Rename mapping.frame to mapping.cap
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>

4 years agoT306: Change cap definitions to use inheritance mechanism.
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>

4 years agoT306: extend Hamlet to parse abstract cap definitions and let other caps inherit...
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>

4 years agoharness: mt_waitset test: increase test timeout by factor 2, properly implement proce...
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>

4 years agoharness: Fix webserver test to not choke when test log missing
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>

4 years agoharness: fix broken super() in webserver test
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>

4 years agoharness: fix error inclusion in junit report generation
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>

4 years agoharness: httperf test: fail when webserver crashes after starting
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>

4 years agoharness: simulator tests: gracefully handle EOF on read from sub-process when telnet...
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>

4 years agoarmv8: adding general purpose registers to the documentation
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>

4 years agoarmv8: replacing tabs with spaces
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>

4 years agofixup! flounder: replace tabs with spaces to squash haskell warnings
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>

4 years agokernel: Adding proper target for a57v cpu
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>

4 years agoarmv8: pass over startup_arch + additionts to init.h and platform.h
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>

4 years agoarmv8: adding function to find cmdline from multiboot
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>

4 years agoarmv8: update linker script to reflect changes in efi-boot
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>

4 years agoarmv8/hake: using new command line parameter format
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>

4 years agoarmv8: using arm generic misc.c
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>

4 years agoarmv8: introducing platformfiles for A57 and generic ARM virtual machine (qemu)
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>

4 years agoarmv8/apm88xxxx: removing directory and moving functionality to plat_* files.
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>

4 years agoarmv8: renaming wrongly named hash-define
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>

4 years agoarmv8: adding arch_info struct for armv8
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>

4 years agonkm: adding type for ARMv8
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>

4 years agoarmv8: moving of efi boot code into arm directory
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>

4 years agokernel: stdlib - adding wrapper tu support long long integer parsing
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>

4 years agoarm: renaming kludges to gdb_arch and separaring common part
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>

4 years agogetopt: adding support for long
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>

4 years agoqemu/armv8: adding clarifications and tabs->spaces
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>

4 years agoarmv8: renaming menu.lst using the a57v suffix
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>

4 years agoflounder: replace tabs with spaces to squash haskell warnings
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>

4 years agokernel/armv8: fix is_root_pt to return true when type is L0.
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>

4 years agokernel/paging: Correct compile_vaddr for AARCH64.
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>

4 years agoARMv8: don't define PREFER_SIZE_OVER_SPEED as compiler flag
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>

4 years agoacpi: fixing typo in printf statememt, adding more debug statements
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>

4 years agoARMv8: making Barrelfish boot on the X-Gene
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>

4 years agoARMv8: simplify multiboot2 find header
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>

4 years agoARMv8: enabling access to performance monitor from userspace
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>

4 years agoARMv8: disable alignment checking to allow unaligned accesses
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>

4 years agohwrecords: do not use hex printing in processor record
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>

4 years agoARMv8: passing stack parameter correctly to vminit
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>

4 years agoacpia: enable ACPI_MISALIGNMENT_NOT_SUPPORTED flag for ARMv8
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>

4 years agokernel/armv8: Set page table bits correctly to handle uncached memory.
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>

4 years agoacpi: Correct get_handle implementation.
Moritz Hoffmann [Tue, 26 Jul 2016 23:29:55 +0000]
acpi: Correct get_handle implementation.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoMultihop: Replace tab by spaces. Space-only change to silence Haskell warnings.
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>

4 years agoT260: Implement
Moritz Hoffmann [Wed, 5 Oct 2016 12:52:21 +0000]
T260: Implement

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

4 years agogmp: use provided config.status instead of running configure
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>

4 years agoRevert "libgmp: remove dependency to libbarrelfish"
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>

4 years agoharness: compiler-rt: comment out known-to-fail test cases
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>

4 years agoif/monitor.if: multihop_message: increase payload buffer size to 2048
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>

4 years agoharness: Exit test when we encounter a line starting with "Aborted"
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>

4 years agonkm tests: x86-64 invalid mappings: fix case where we cannot allocate 1GB frame
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>

4 years agolibbarrelfish: arm pmap: fix flag passing in modify_flags
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>

4 years agokernel: dump_ptables: armv7: print rw flags for small pages
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>

4 years agokernel: arm: fix modify_flags invocation
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>

4 years agonkmtest: make arm version compile and only check fault type on x86
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>

4 years agoharness: Add test for vnode_map() with too many ptes requested
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>

4 years agoarmv7: paging: proper check if `pte_count` pages fit inside source frame starting...
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>

4 years agovnode_map: add test with pte_count larger than fits in source Frame
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>

4 years agoT291: kernel: include bitmacros.h in kernel.h
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>

4 years agoT291: create_mapping_cap:Properly check that offsets into mapped frames are <= 4TB.
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>

4 years agoT291: add implementation for armv7/8
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>