barrelfish
12 months agoarmv8: Improve readability of register restoration code
Daniel Schwyn [Thu, 8 Aug 2019 09:24:06 +0000]
armv8: Improve readability of register restoration code

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

12 months agoarmv8: Fix abort when disabled handling
Daniel Schwyn [Wed, 7 Aug 2019 14:37:01 +0000]
armv8: Fix abort when disabled handling

The PC wasn't correctly saved to the trap area

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

12 months agoarmv8: Pass correct page fault cause
Daniel Schwyn [Fri, 22 Nov 2019 14:36:57 +0000]
armv8: Pass correct page fault cause

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

12 months agoarmv8: Fix modify paging flags
Daniel Schwyn [Mon, 5 Aug 2019 15:50:28 +0000]
armv8: Fix modify paging flags

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

12 months agoarmv8: Support no access page mappings
Daniel Schwyn [Mon, 5 Aug 2019 14:47:03 +0000]
armv8: Support no access page mappings

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

12 months agoproc_mgmt: Fix race condition
Daniel Schwyn [Mon, 5 Aug 2019 12:49:10 +0000]
proc_mgmt: Fix race condition

The process manager would get stuck when a spawn request arrived
before the corresponding spawnd was up. Now it just returns an error.
It tells the nameserver when it's ready on a core and the
clients can wait for that.

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

12 months agoimx8x: Add domains to harness
Lukas Humbel [Tue, 19 Nov 2019 09:12:01 +0000]
imx8x: Add domains to harness

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

12 months agoarmv7: Fix for kaluga changes
Lukas Humbel [Mon, 18 Nov 2019 14:07:55 +0000]
armv7: Fix for kaluga changes

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

12 months agoarmv8: Cleanup kernel messages
Lukas Humbel [Mon, 18 Nov 2019 13:26:30 +0000]
armv8: Cleanup kernel messages

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

12 months agoimx8x: Enable cores 3 and 4
Lukas Humbel [Mon, 18 Nov 2019 13:26:09 +0000]
imx8x: Enable cores 3 and 4

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

12 months agoimx8x: Boot second core
Lukas Humbel [Fri, 15 Nov 2019 16:08:44 +0000]
imx8x: Boot second core

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

12 months agoarmv8: increase kcb size to accomodate vector table
Lukas Humbel [Fri, 15 Nov 2019 10:30:48 +0000]
armv8: increase kcb size to accomodate vector table

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

12 months agoarmv8: fix compilation on other platforms
Lukas Humbel [Fri, 15 Nov 2019 09:12:43 +0000]
armv8: fix compilation on other platforms

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

12 months agoarmv8: remove kernel printfs
Lukas Humbel [Thu, 14 Nov 2019 16:44:58 +0000]
armv8: remove kernel printfs

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

12 months agoarmv8: implement user space irq routing + lpuart interrupt
Lukas Humbel [Thu, 14 Nov 2019 16:44:30 +0000]
armv8: implement user space irq routing + lpuart interrupt

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

12 months agoarmv8: Port irq cap invocations
Lukas Humbel [Thu, 14 Nov 2019 16:39:46 +0000]
armv8: Port irq cap invocations

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

12 months agoimx8x: Remove hacks from serial_lpuart driver
Lukas Humbel [Fri, 8 Nov 2019 10:31:43 +0000]
imx8x: Remove hacks from serial_lpuart driver

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

12 months agoarmv8: Implement wait_for_interrupt
Lukas Humbel [Fri, 8 Nov 2019 10:27:59 +0000]
armv8: Implement wait_for_interrupt

Enable interrupts and correct handling of irq from EL1

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

12 months agoarmv8: fix duplicate platform_get_timer_interrupt
Lukas Humbel [Fri, 8 Nov 2019 09:36:47 +0000]
armv8: fix duplicate platform_get_timer_interrupt

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

12 months agoimx8x: Fixup serial driver
Lukas Humbel [Thu, 7 Nov 2019 15:56:42 +0000]
imx8x: Fixup serial driver

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

12 months agohpet: fix dependencies
Lukas Humbel [Thu, 7 Nov 2019 15:56:30 +0000]
hpet: fix dependencies

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

12 months agoclang-format: reduce penalty for excess characters
Reto Achermann [Fri, 9 Aug 2019 08:20:04 +0000]
clang-format: reduce penalty for excess characters

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

12 months agoclang-format: tweak penalty when assignment gets broken to newline
Reto Achermann [Fri, 9 Aug 2019 08:15:16 +0000]
clang-format: tweak penalty when assignment gets broken to newline

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

12 months agoclant-format; allow two empty lines
Reto Achermann [Thu, 8 Aug 2019 09:20:49 +0000]
clant-format; allow two empty lines

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

12 months agotweaks to clang-format
Reto Achermann [Sat, 27 Jul 2019 18:38:57 +0000]
tweaks to clang-format

Signed-off-by: Reto Achermann <achreto@gmail.com>

12 months agoupdating .clang-format file
Reto Achermann [Fri, 26 Jul 2019 08:30:32 +0000]
updating .clang-format file

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

12 months agoadding clang-format spec
Reto Achermann [Thu, 25 Jul 2019 17:50:50 +0000]
adding clang-format spec

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

12 months ago serial lpuart driver (reading characters and sending them to the shell)
Aya Kayal [Mon, 12 Aug 2019 09:34:44 +0000]
 serial lpuart driver (reading characters and sending them to the shell)

Signed-off-by: Aya Kayal <akayal@student.ethz.ch>

12 months agoreading characters from lpuart
Aya Kayal [Mon, 5 Aug 2019 12:58:36 +0000]
reading characters from lpuart

Signed-off-by: Aya Kayal <akayal@student.ethz.ch>

12 months agoarmv8: Start with all interrupts disabled
Lukas Humbel [Thu, 7 Nov 2019 14:21:16 +0000]
armv8: Start with all interrupts disabled

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

12 months agoimx8x: Hack kaluga to pass startup, and add startd
Lukas Humbel [Thu, 7 Nov 2019 10:57:08 +0000]
imx8x: Hack kaluga to pass startup, and add startd

Kaluga for imx8x works quite differently, due to limited
supported for the platform and we are in process of rewriting it anyway.
startd is needed, otherwise our test binaries are not properly started.

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

13 months agoimx8x: Add rack mounted colibris to harness
Lukas Humbel [Fri, 25 Oct 2019 12:03:45 +0000]
imx8x: Add rack mounted colibris to harness

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

13 months agoharness: add imx8x_local machine and some start for rackmount imx8x
Lukas Humbel [Wed, 23 Oct 2019 12:03:42 +0000]
harness: add imx8x_local machine and some start for rackmount imx8x

Add a new machine imx8x_local, which assumes there is one imx8x attached
to your local machine. Now you can do:
./tools/harness/scalebench.py -m imx8x_local --debug -e build
        -t memtest . build/results

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

13 months agoarmv7: To support domain spanning, use different vregion per core
Lukas Humbel [Fri, 18 Oct 2019 12:45:19 +0000]
armv7: To support domain spanning, use different vregion per core

This should fix the proc_mgmt_test on armv7

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

13 months agoupdate copyright notice
Lukas Humbel [Thu, 17 Oct 2019 11:18:43 +0000]
update copyright notice

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

13 months agoimx8x: Add boot target
Lukas Humbel [Wed, 16 Oct 2019 15:28:16 +0000]
imx8x: Add boot target

make usbboot_imx8x will build and boot

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

13 months agoimx8x: add some more modules in menu.lst
Lukas Humbel [Wed, 16 Oct 2019 14:54:46 +0000]
imx8x: add some more modules in menu.lst

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

13 months agoimx8x: Fix lpuart Mackerel file
Daniel Schwyn [Tue, 8 Oct 2019 15:35:58 +0000]
imx8x: Fix lpuart Mackerel file

Mackerel functions would read the data register when writing it.
Therefore dropping any received character.

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoarmv8: Stop debugging imx8x in boot driver
Daniel Schwyn [Mon, 17 Jun 2019 15:12:42 +0000]
armv8: Stop debugging imx8x in boot driver

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoImprove lpuart kernel driver
Daniel Schwyn [Mon, 3 Jun 2019 09:44:24 +0000]
Improve lpuart kernel driver

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoFix platform support for imx8x
Daniel Schwyn [Wed, 29 May 2019 12:15:37 +0000]
Fix platform support for imx8x

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoGet rid of serial driver assembly in boot_entry
Daniel Schwyn [Wed, 29 May 2019 12:13:30 +0000]
Get rid of serial driver assembly in boot_entry

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoStrip down imx8x image to boot/CPU driver for now
Daniel Schwyn [Wed, 29 May 2019 12:13:01 +0000]
Strip down imx8x image to boot/CPU driver for now

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoAdd serial support for imx8x in boot driver
Daniel Schwyn [Fri, 24 May 2019 17:03:51 +0000]
Add serial support for imx8x in boot driver

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoAdd imx8x platform
Daniel Schwyn [Thu, 23 May 2019 08:27:44 +0000]
Add imx8x platform

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoAdd lpuart kernel driver
Daniel Schwyn [Thu, 23 May 2019 08:27:31 +0000]
Add lpuart kernel driver

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agoUpdate Hagfish to latest version
Daniel Schwyn [Tue, 8 Oct 2019 11:32:48 +0000]
Update Hagfish to latest version

Built from commit 66a3753 of
gitlab.inf.ethz.ch:OU-ROSCOE/barrelfish/Hagfish.git

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

13 months agokaluga: fixing mlx4 driver starting
Roni Häcki [Mon, 7 Oct 2019 13:23:45 +0000]
kaluga: fixing mlx4 driver starting

Seems at some point we broke mlx4 startup since it is a special case.
The reworked version uses the same code path as other drivers, but does
additional things for the mlx4 driver

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

13 months agonet_socket_server: fixing part so that mlx4 works again
Roni Häcki [Mon, 7 Oct 2019 13:22:24 +0000]
net_socket_server: fixing part so that mlx4 works again

The connectX-3 driver is still handle special since it is the only one
that starts the driver when creating a cleanq of it

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

13 months agolibnet: fix empty string test
Roni Häcki [Mon, 7 Oct 2019 13:21:51 +0000]
libnet: fix empty string test

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

13 months agopmap: Fix lookup function and add test for it
Lukas Humbel [Wed, 2 Oct 2019 14:34:41 +0000]
pmap: Fix lookup function and add test for it

The pmap lookup function was always reporting offset 0 and the
next lower base page size. This is wrong when a capability bigger
than a page is mapped (as it is usually the case).

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

14 months agoarmv8: Disable debug prints in boot driver
Daniel Schwyn [Fri, 27 Sep 2019 13:49:41 +0000]
armv8: Disable debug prints in boot driver

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Only 3G RAM for U-Boot on QEMU
Daniel Schwyn [Fri, 27 Sep 2019 13:37:12 +0000]
armv8: Only 3G RAM for U-Boot on QEMU

U-Boot on QEMU only seems to support 3G of system memory even though the
README for ARM doesn't say so
https://github.com/ARM-software/u-boot/blob/master/doc/README.x86

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Fix include paths in EFI loader
Daniel Schwyn [Fri, 27 Sep 2019 07:45:08 +0000]
armv8: Fix include paths in EFI loader

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Fix module relocation for static EFI images
Daniel Schwyn [Wed, 19 Jun 2019 11:10:23 +0000]
armv8: Fix module relocation for static EFI images

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: existing image blob is cleared
Daniel Schwyn [Wed, 19 Jun 2019 08:31:26 +0000]
armv8: existing image blob is cleared

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: EFI loader sets correct memory attributes
Daniel Schwyn [Mon, 17 Jun 2019 15:07:40 +0000]
armv8: EFI loader sets correct memory attributes

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: EFI loader now builds fresh kernel page tables
Daniel Schwyn [Mon, 17 Jun 2019 08:37:01 +0000]
armv8: EFI loader now builds fresh kernel page tables

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Refactor EFI loader
Daniel Schwyn [Fri, 14 Jun 2019 15:26:37 +0000]
armv8: Refactor EFI loader

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Fix booting from U-Boot
Daniel Schwyn [Fri, 14 Jun 2019 08:50:40 +0000]
armv8: Fix booting from U-Boot

Hacky, work in progress

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Add debug output for boot driver on QEMU
Daniel Schwyn [Fri, 14 Jun 2019 15:26:50 +0000]
armv8: Add debug output for boot driver on QEMU

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Start cleaning up static EFI bootloader
Daniel Schwyn [Thu, 13 Jun 2019 11:27:39 +0000]
armv8: Start cleaning up static EFI bootloader

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Don't overwrite core data passed by bootloader
Daniel Schwyn [Tue, 11 Jun 2019 08:27:33 +0000]
armv8: Don't overwrite core data passed by bootloader

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Kernel expects core data also on BSP
Daniel Schwyn [Fri, 7 Jun 2019 15:48:45 +0000]
armv8: Kernel expects core data also on BSP

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Improve handling of multiboot info
Daniel Schwyn [Fri, 7 Jun 2019 14:39:48 +0000]
armv8: Improve handling of multiboot info

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Remove Grub artefact from multiboot2 header
Daniel Schwyn [Tue, 4 Jun 2019 11:43:34 +0000]
armv8: Remove Grub artefact from multiboot2 header

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Fix naming of multiboot functions
Daniel Schwyn [Mon, 3 Jun 2019 12:47:56 +0000]
armv8: Fix naming of multiboot functions

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

14 months agoarmv8: Fix dependencies for building images
Daniel Schwyn [Mon, 3 Jun 2019 12:34:26 +0000]
armv8: Fix dependencies for building images

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

15 months agolibcxx: list the source files explicitly
Reto Achermann [Thu, 22 Aug 2019 15:22:57 +0000]
libcxx: list the source files explicitly

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibthc: adding back removed _thc_schedulecont assembly function
Reto Achermann [Thu, 22 Aug 2019 14:25:31 +0000]
libthc: adding back removed _thc_schedulecont assembly function

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agoarmv7: fix compilation of the ARMV7_All target
Reto Achermann [Tue, 20 Aug 2019 16:02:54 +0000]
armv7: fix compilation of the ARMV7_All target

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agoHakefiles: remove x86_32 from architectures
Reto Achermann [Tue, 20 Aug 2019 16:01:39 +0000]
Hakefiles: remove x86_32 from architectures

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agofix uses of cycles_t throughout the tree
Reto Achermann [Tue, 20 Aug 2019 15:57:26 +0000]
fix uses of cycles_t throughout the tree

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibcompiler-rt: adding missing files to the arm target
Reto Achermann [Tue, 20 Aug 2019 15:51:33 +0000]
libcompiler-rt: adding missing files to the arm target

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agoarm: fix signed/unsigned compare in header
Reto Achermann [Tue, 20 Aug 2019 15:50:35 +0000]
arm: fix signed/unsigned compare in header

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agohake: remove x86_32 architecture
Reto Achermann [Tue, 20 Aug 2019 15:49:45 +0000]
hake: remove x86_32 architecture

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibcompiler-rt: fix compilation for armv7
Reto Achermann [Tue, 20 Aug 2019 13:23:20 +0000]
libcompiler-rt: fix compilation for armv7

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agoarmv8: fix signed / unsigned comparison warning
Reto Achermann [Mon, 19 Aug 2019 18:42:42 +0000]
armv8: fix signed / unsigned comparison warning

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibcxx: enable tests for armv8
Reto Achermann [Mon, 19 Aug 2019 18:42:15 +0000]
libcxx: enable tests for armv8

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibc:adding missing definitions to nl_types.h
Reto Achermann [Mon, 19 Aug 2019 18:41:52 +0000]
libc:adding missing definitions to nl_types.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibcxx: update to support armv8
Reto Achermann [Mon, 19 Aug 2019 18:41:27 +0000]
libcxx: update to support armv8

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agocxx: adding tests for libunwind
Reto Achermann [Mon, 19 Aug 2019 16:11:33 +0000]
cxx: adding tests for libunwind

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibc: adding missing _setjmp.S to armv8 sources
Reto Achermann [Mon, 19 Aug 2019 16:10:14 +0000]
libc: adding missing _setjmp.S to armv8 sources

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agoarmv8: make all defined target compile (ARMV8_All)
Reto Achermann [Mon, 19 Aug 2019 16:09:41 +0000]
armv8: make all defined target compile (ARMV8_All)

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agodrivers/uhci: remove not-implemented UHCI driver
Reto Achermann [Mon, 19 Aug 2019 16:07:25 +0000]
drivers/uhci: remove not-implemented UHCI driver

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibcompiler-rt: update to newest version from github repo
Reto Achermann [Mon, 19 Aug 2019 16:04:55 +0000]
libcompiler-rt: update to newest version from github repo

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agohake: adding cpudrivers to the _All target
Reto Achermann [Mon, 19 Aug 2019 16:01:35 +0000]
hake: adding cpudrivers to the _All target

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agolibcxx: ubdate libunwind
Reto Achermann [Mon, 19 Aug 2019 14:54:27 +0000]
libcxx: ubdate libunwind

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agox86_64: make all targets compile
Reto Achermann [Mon, 19 Aug 2019 12:30:08 +0000]
x86_64: make all targets compile

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agodrivesr/virtio: remove empty files
Reto Achermann [Mon, 19 Aug 2019 11:39:27 +0000]
drivesr/virtio: remove empty files

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

15 months agoskb: remove test apps as they don't really test the SKB
Reto Achermann [Mon, 19 Aug 2019 11:38:47 +0000]
skb: remove test apps as they don't really test the SKB

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agoarmv8: Fix idcap_identify syscall
Aya Kayal [Fri, 26 Jul 2019 13:49:55 +0000]
armv8: Fix idcap_identify syscall

Signed-off-by: Aya Kayal <akayal@student.ethz.ch>

16 months agotests/skb_cap_storage: workaround to get it to work on armv7
Reto Achermann [Wed, 31 Jul 2019 08:54:43 +0000]
tests/skb_cap_storage: workaround to get it to work on armv7

addresses above 2G are not supported, due to lack of bigint in the SKB.
this is a problem on ARMv7 platforms with RAM starting at 2GB.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agotest/mtwaitset: disable local core spawning on arm platforms
Reto Achermann [Wed, 31 Jul 2019 08:03:42 +0000]
test/mtwaitset: disable local core spawning on arm platforms

see issue #6.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agotest/lrpc_fpu: make it compile for armv7 and armv8
Reto Achermann [Wed, 31 Jul 2019 07:12:18 +0000]
test/lrpc_fpu: make it compile for armv7 and armv8

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agoarmv8: actually pass the faulting address
Reto Achermann [Wed, 31 Jul 2019 07:11:53 +0000]
armv8: actually pass the faulting address

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agoqemu: enable KVM for x86_64 platforms
Reto Achermann [Tue, 30 Jul 2019 14:06:43 +0000]
qemu: enable KVM for x86_64 platforms

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agotests/devif: don't test networking for armv7
Reto Achermann [Mon, 22 Jul 2019 16:01:15 +0000]
tests/devif: don't test networking for armv7

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agoarmv8: enable compilations of various network drivers
Reto Achermann [Mon, 22 Jul 2019 16:00:02 +0000]
armv8: enable compilations of various network drivers

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 months agolib/devif: use barrier definitions from barrelfish's atomic.h
Reto Achermann [Mon, 22 Jul 2019 15:59:09 +0000]
lib/devif: use barrier definitions from barrelfish's atomic.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>