barrelfish
20 months agogitlab-ci: adding cleanup job
Reto Achermann [Tue, 7 May 2019 15:29:52 +0000]
gitlab-ci: adding cleanup job

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

20 months agogitlab-ci: using moderate parallelism for running builds
Reto Achermann [Tue, 7 May 2019 15:18:02 +0000]
gitlab-ci: using moderate parallelism for running builds

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

20 months agohake: adding flags to just run hake, without initial dependencies
Reto Achermann [Tue, 7 May 2019 14:59:23 +0000]
hake: adding flags to just run hake, without initial dependencies

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

20 months agogitlab-ci: adding basic compilation tests for x86_64, ARMv8 and ARMv7
Reto Achermann [Tue, 7 May 2019 14:56:26 +0000]
gitlab-ci: adding basic compilation tests for x86_64, ARMv8 and ARMv7

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

20 months agoFix irqtest build
Lukas Humbel [Tue, 7 May 2019 10:19:18 +0000]
Fix irqtest build

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

20 months agogitlab-ci: adding test to compile hake
Reto Achermann [Tue, 7 May 2019 11:52:14 +0000]
gitlab-ci: adding test to compile hake

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

20 months agoMerge branch 'master' of gitlab.inf.ethz.ch:OU-ROSCOE/barrelfish/barrelfish-internal...
Reto Achermann [Tue, 7 May 2019 11:40:47 +0000]
Merge branch 'master' of gitlab.inf.ethz.ch:OU-ROSCOE/barrelfish/barrelfish-internal-master

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

20 months agogitlab-ci: require new commits to be signed off to pass the test
Reto Achermann [Tue, 7 May 2019 11:30:31 +0000]
gitlab-ci: require new commits to be signed off to pass the test

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

20 months agoFIXUP: adding gitlab-ci.yml to check for non-signed off commits
Reto Achermann [Tue, 7 May 2019 11:27:37 +0000]
FIXUP: adding gitlab-ci.yml to check for non-signed off commits

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

20 months agoadding gitlab-ci.yml to check for non-signed off commits
Reto Achermann [Tue, 7 May 2019 11:25:56 +0000]
adding gitlab-ci.yml to check for non-signed off commits

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

20 months agoMerge branch 'hake_deps'
Lukas Humbel [Mon, 6 May 2019 13:33:43 +0000]
Merge branch 'hake_deps'

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

20 months agoarmv8: Improve readme
Lukas Humbel [Mon, 6 May 2019 12:48:05 +0000]
armv8: Improve readme

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

20 months agohake: Generate PL database with driverdomain/modules
Lukas Humbel [Mon, 6 May 2019 12:47:37 +0000]
hake: Generate PL database with driverdomain/modules

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

20 months agohake: Two pass to minimize memory consumption
Lukas Humbel [Mon, 6 May 2019 09:46:42 +0000]
hake: Two pass to minimize memory consumption

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

20 months agoARMv7: Map all init frames shareable (coherent)
Daniel Schwyn [Fri, 26 Apr 2019 09:33:00 +0000]
ARMv7: Map all init frames shareable (coherent)

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

21 months agoserial: Fix armv7
Lukas Humbel [Wed, 17 Apr 2019 13:22:50 +0000]
serial: Fix armv7

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

21 months agosockeye: Import barebones.soc file and add hake rule
Lukas Humbel [Wed, 17 Apr 2019 13:21:33 +0000]
sockeye: Import barebones.soc file and add hake rule

Boot the barebones platform with "make ARM_FastModels_Barebones"

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

21 months agosockeye: Import LISA backend
Lukas Humbel [Wed, 17 Apr 2019 13:10:58 +0000]
sockeye: Import LISA backend

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

21 months agoarmv8: add proc_mgmt to menu lst
Lukas Humbel [Tue, 16 Apr 2019 15:34:07 +0000]
armv8: add proc_mgmt to menu lst

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

21 months agoarmv8: Fix mem_alloc on matching caps in init
Lukas Humbel [Tue, 16 Apr 2019 15:26:03 +0000]
armv8: Fix mem_alloc on matching caps in init

And ensure Barebones system work by assigning a generous amount of RAM

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

21 months agoarmv8: Remove debug printf
Lukas Humbel [Wed, 3 Apr 2019 13:39:59 +0000]
armv8: Remove debug printf

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

21 months agoimport Sven's barebones system
Lukas Humbel [Tue, 16 Apr 2019 11:19:23 +0000]
import Sven's barebones system

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

21 months agohake: change path of the fast models to /home/netos
Reto Achermann [Wed, 10 Apr 2019 06:56:45 +0000]
hake: change path of the fast models to /home/netos

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

21 months agointegration of ARM FastModels into Hake
Reto Achermann [Tue, 9 Apr 2019 09:48:46 +0000]
integration of ARM FastModels into Hake

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

21 months agolib/introute: fixing missing flounder defs in Hakefile
Reto Achermann [Wed, 3 Apr 2019 13:33:53 +0000]
lib/introute: fixing missing flounder defs in Hakefile

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

21 months agoreplacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse
Reto Achermann [Wed, 3 Apr 2019 13:33:05 +0000]
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

21 months agopci: add missing flounder dependency
Lukas Humbel [Tue, 2 Apr 2019 09:48:43 +0000]
pci: add missing flounder dependency

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

21 months agohake: Ensure correct symbols get linked
Lukas Humbel [Tue, 2 Apr 2019 08:49:04 +0000]
hake: Ensure correct symbols get linked

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

21 months agoFix extraneous argument in ARMv7 LMP macro
Daniel Schwyn [Mon, 1 Apr 2019 09:51:10 +0000]
Fix extraneous argument in ARMv7 LMP macro

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

21 months agohake: Make proper use of lib dependencies
Lukas Humbel [Thu, 28 Mar 2019 12:57:56 +0000]
hake: Make proper use of lib dependencies

Library dependencies are not put anymore into archive file, but
assembled when the application is linked.

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

21 months agohake: enable library dependencies on all platforms
Lukas Humbel [Thu, 21 Mar 2019 14:40:36 +0000]
hake: enable library dependencies on all platforms

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

21 months agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Lukas Humbel [Thu, 21 Mar 2019 10:16:54 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

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

21 months agoarmv8: fix boot into qemu with make target
Lukas Humbel [Wed, 20 Mar 2019 15:36:39 +0000]
armv8: fix boot into qemu with make target

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

22 months agohake: correct lib dependencies on linking
Lukas Humbel [Wed, 13 Mar 2019 15:33:00 +0000]
hake: correct lib dependencies on linking

Calculate a graph of library dependencies and use this for linking all
archives into the final application.

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

22 months agoMerge branch 'armv7_irq_debug'
Lukas Humbel [Tue, 5 Mar 2019 15:50:06 +0000]
Merge branch 'armv7_irq_debug'

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

22 months agoarmv7: Disable CPU reading cpu count from GIC
Lukas Humbel [Tue, 5 Mar 2019 15:46:53 +0000]
armv7: Disable CPU reading cpu count from GIC

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

22 months agoarmv7: Enable serial driver on pandaboard
Lukas Humbel [Tue, 5 Mar 2019 12:36:53 +0000]
armv7: Enable serial driver on pandaboard

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

22 months agoturn serial pc16550d into module
Lukas Humbel [Wed, 27 Feb 2019 14:41:19 +0000]
turn serial pc16550d into module

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

22 months agoremove debug prints
Lukas Humbel [Wed, 20 Feb 2019 14:30:02 +0000]
remove debug prints

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

22 months agoarmv7: dist and serial: fix races
Lukas Humbel [Wed, 20 Feb 2019 14:07:14 +0000]
armv7: dist and serial: fix races

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

22 months agoarmv7: remove gic dist debug
Lukas Humbel [Wed, 20 Feb 2019 13:49:05 +0000]
armv7: remove gic dist debug

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

22 months agoTurn serial driver into module and fix userspace GIC
Lukas Humbel [Wed, 20 Feb 2019 13:40:41 +0000]
Turn serial driver into module and fix userspace GIC

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

22 months agoARM: Fix kernel IRQ debug printf
Lukas Humbel [Wed, 20 Feb 2019 12:30:15 +0000]
ARM: Fix kernel IRQ debug printf

When waiting for interrupt inside the kernel, we dont have no
current dcb.

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

23 months agoupdate tools/usbboot to use the right way to ennable debug
Reto Achermann [Tue, 22 Jan 2019 14:03:02 +0000]
update tools/usbboot to use the right way to ennable debug

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

23 months agotools/usbboot: replace deprecated set_debug with set_option
Reto Achermann [Mon, 21 Jan 2019 08:05:20 +0000]
tools/usbboot: replace deprecated set_debug with set_option

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

23 months agotools/arm_boot: clear out structs before use
Reto Achermann [Mon, 21 Jan 2019 08:04:45 +0000]
tools/arm_boot: clear out structs before use

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

2 years agodispatcher: remove DISPATCHER_FRAME_BITS, and redefine DISPATCHER_FRAME_SIZE as 512kB.
Simon Gerber [Wed, 19 Dec 2018 20:54:19 +0000]
dispatcher: remove DISPATCHER_FRAME_BITS, and redefine DISPATCHER_FRAME_SIZE as 512kB.

This is necessary with the new contents struct dispatcher_<arch> when
using array-based pmap on larger machines, as we otherwise run out of
room for LMP channel receive buffers in the SKB.

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

2 years agolibbarrelfish: heap: correctly determine number of page to allocate in internal morecore
Simon Gerber [Wed, 19 Dec 2018 20:52:48 +0000]
libbarrelfish: heap: correctly determine number of page to allocate in internal morecore

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

2 years agolibmultiboot: remove unused variable "buf"
Simon Gerber [Fri, 14 Dec 2018 14:18:17 +0000]
libmultiboot: remove unused variable "buf"

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

2 years agoMerge branch 'memory_system'
Simon Gerber [Tue, 18 Dec 2018 15:54:06 +0000]
Merge branch 'memory_system'

This merges the work done on the memory system.

Main features:
 * different pmap implementations: array-based and linked-list
 * Infrastructure for copy-on-write and other advanced memory management
   techniques
 * A hake feature which allows individual selection of a library OS to
   link against on a per application/library basis

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

2 years agoarmv7: Correct name PL130 to PL390
Lukas Humbel [Fri, 14 Dec 2018 16:42:40 +0000]
armv7: Correct name PL130 to PL390

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

2 years agoe10k: enabling advanced descriptors again
Roni Häcki [Fri, 14 Dec 2018 14:29:52 +0000]
e10k: enabling advanced descriptors again

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

2 years agodocs: hake: Update technote to briefly describe library OS selection
Simon Gerber [Fri, 14 Dec 2018 14:00:59 +0000]
docs: hake: Update technote to briefly describe library OS selection

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

2 years agohake,libbarrelfish: simplify libraryOs definition
Simon Gerber [Fri, 14 Dec 2018 13:59:22 +0000]
hake,libbarrelfish: simplify libraryOs definition

Remove duplicated library OS extra flags and target names in
lib/barrelfsih/Hakefile. Use target and flags defined in Config.hs when
building library OS for a particular library OS variant.

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

2 years agohake: libraryOs flag: use Config.<libraryOsConfig> when building the library OS itsel...
Simon Gerber [Fri, 14 Dec 2018 13:05:53 +0000]
hake: libraryOs flag: use Config.<libraryOsConfig> when building the library OS itself instead of repeating the flags in the Hakefile

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

2 years agoacpi, kaluga: Add missing newlines in debug printfs
Simon Gerber [Fri, 16 Nov 2018 22:22:02 +0000]
acpi, kaluga: Add missing newlines in debug printfs

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

2 years agoarmv7: enable timer in kernel
Lukas Humbel [Fri, 14 Dec 2018 10:20:42 +0000]
armv7: enable timer in kernel

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

2 years agoarmv7: Move distributor driver to userspace
Lukas Humbel [Thu, 13 Dec 2018 14:20:16 +0000]
armv7: Move distributor driver to userspace

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

2 years agonfs: increased max read size
Roni Häcki [Wed, 12 Dec 2018 10:25:36 +0000]
nfs: increased max read size

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

2 years agohpet: removed generated headers from hpet.h
Roni Häcki [Tue, 11 Dec 2018 14:02:03 +0000]
hpet: removed generated headers from hpet.h

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

2 years agohpet: dependencies to domain
Lukas Humbel [Mon, 10 Dec 2018 12:53:23 +0000]
hpet: dependencies to domain

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

2 years agohpet: fixing dependencies
Adam Turowski [Wed, 28 Nov 2018 09:00:10 +0000]
hpet: fixing dependencies

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agohpet: adding a missing flounder binding
Adam Turowski [Tue, 27 Nov 2018 15:33:18 +0000]
hpet: adding a missing flounder binding

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoarms: unifying interrupts, timers and platform data
Adam Turowski [Tue, 27 Nov 2018 12:48:29 +0000]
arms: unifying interrupts, timers and platform data

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agosystime: adding a relative timeout function
Adam Turowski [Tue, 27 Nov 2018 12:43:17 +0000]
systime: adding a relative timeout function

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agolibbarrelfish: pmap_ll: remove debug printf which uses too many __builtin_return_addr...
Simon Gerber [Thu, 15 Nov 2018 16:54:59 +0000]
libbarrelfish: pmap_ll: remove debug printf which uses too many __builtin_return_address() for armv8

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

2 years agohamlet: user_cap_predicates.c: only include static_assert.h and barrelfish_kpi/capabi...
Simon Gerber [Thu, 15 Nov 2018 16:36:22 +0000]
hamlet: user_cap_predicates.c: only include static_assert.h and barrelfish_kpi/capabilities.h instead of barrelfish/barrelfish.h

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

2 years agoasmoffsets: add #define PMAP_ARRAY to avoid error.
Simon Gerber [Thu, 15 Nov 2018 16:35:16 +0000]
asmoffsets: add #define PMAP_ARRAY to avoid error.

This would have to be revisited if we ever need an asm offset for any of
the pmap data structure fields!

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

2 years agolibmdb: remove unnecessary library dependency on libbarrelfish
Simon Gerber [Thu, 15 Nov 2018 16:34:42 +0000]
libmdb: remove unnecessary library dependency on libbarrelfish

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

2 years agolibbarrelfish: only include hyper interface if building libarrakis
Simon Gerber [Thu, 15 Nov 2018 16:34:14 +0000]
libbarrelfish: only include hyper interface if building libarrakis

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

2 years agohake: add Args.addCFlags of libraryOs to extraCxxFlags
Simon Gerber [Thu, 15 Nov 2018 16:33:52 +0000]
hake: add Args.addCFlags of libraryOs to extraCxxFlags

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

2 years agoharness: add memtest variants which link against all available library os implementat...
Simon Gerber [Thu, 15 Nov 2018 16:06:18 +0000]
harness: add memtest variants which link against all available library os implementations.

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

2 years agohake: Rewrite libraryOs selection to be more robust.
Simon Gerber [Thu, 15 Nov 2018 15:59:32 +0000]
hake: Rewrite libraryOs selection to be more robust.

This commit replaces the String libraryOs in Args.Args with a (Maybe
Args) and the rule macros for building applications and libraries
respect the fields addCFlags, addCxxFlags, omitCFlags, omitCxxFlags, and
addLinkFlags of the provided Args.libraryOs.
The Args.target of the Args.libraryOs of the application macro is used
to select the right library os archive for the linker.
The Library OS Hakefile itself needs to set the library's Args.libraryOs
to an empty Args because a Nothing Args.libraryOs will be replaced with
an architecture-specific default library OS as defined in Config.hs.

All available library OS implementations need to have a (Maybe Args) in
Config.hs which can then be specified in application and library
Hakefiles.

This commit also introduces more libbarrelfish variants for all
combinations of {pmap_array, pmap_ll} x {slot_alloc'd mappings, mapping
cnodes}, for architectures that support different pmap implementations,
i.e. x86_64, aarch64 and k1om.

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

2 years agoqemu: adding a custom QEMU_EFI.fd to speed up booting
Adam Turowski [Thu, 15 Nov 2018 14:57:02 +0000]
qemu: adding a custom QEMU_EFI.fd to speed up booting

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoarm: GICs cleanups
Adam Turowski [Thu, 15 Nov 2018 14:55:38 +0000]
arm: GICs cleanups

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoarmv8: adding QEMU UBoot machine (qemu_armv8_uboot_*) to harness
Adam Turowski [Mon, 29 Oct 2018 13:04:46 +0000]
armv8: adding QEMU UBoot machine (qemu_armv8_uboot_*) to harness

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoarmv8: initial Raspberry Pi 3 support
Adam Turowski [Fri, 26 Oct 2018 09:53:25 +0000]
armv8: initial Raspberry Pi 3 support

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoarmv8: generalizing the interrupt controller
Adam Turowski [Fri, 26 Oct 2018 09:51:26 +0000]
armv8: generalizing the interrupt controller

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoarmv8: EFI Barrelfish loader
Adam Turowski [Fri, 26 Oct 2018 09:48:04 +0000]
armv8: EFI Barrelfish loader

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agoMerge commit 'dde1627a841d'
Adam Turowski [Wed, 14 Nov 2018 11:33:39 +0000]
Merge commit 'dde1627a841d'

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

2 years agohake: cxx: Add libraryOs lib to optCxxLibs
Simon Gerber [Tue, 13 Nov 2018 21:25:23 +0000]
hake: cxx: Add libraryOs lib to optCxxLibs

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

2 years agokernel,libbarrelfish: Remove Frame identify and Vnode identify invocation handlers...
Simon Gerber [Tue, 13 Nov 2018 19:33:08 +0000]
kernel,libbarrelfish: Remove Frame identify and Vnode identify invocation handlers and commands

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

2 years agolibbarrelfish: Add comment why we still need KCB identify
Simon Gerber [Tue, 13 Nov 2018 19:32:43 +0000]
libbarrelfish: Add comment why we still need KCB identify

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

2 years agokernel: only allow sys_identify_cap() when target is L1 CNode
Simon Gerber [Tue, 13 Nov 2018 19:32:20 +0000]
kernel: only allow sys_identify_cap() when target is L1 CNode

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

2 years agolibbarrelfish: reimplement deviceid_identify using cap_identify.
Simon Gerber [Tue, 13 Nov 2018 19:31:34 +0000]
libbarrelfish: reimplement deviceid_identify using cap_identify.

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

2 years agolibbarrelfish: implement vnode_identify using cap_identify
Simon Gerber [Tue, 13 Nov 2018 19:03:55 +0000]
libbarrelfish: implement vnode_identify using cap_identify

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

2 years agoRemove invoke_frame_identify, replaced with frame_identify().
Simon Gerber [Tue, 13 Nov 2018 18:59:31 +0000]
Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

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

2 years agolibbarrelfish: endpoints: refactor to make EP management invocations unnecessary.
Simon Gerber [Tue, 13 Nov 2018 18:53:16 +0000]
libbarrelfish: endpoints: refactor to make EP management invocations unnecessary.

This commit implements endpoint_identify using cap_direct_identify and
endpoint_set_iftype using cap_mint.

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

2 years agolibbarrelfish: Hakefile: rewrite to use Args subtype
Simon Gerber [Tue, 13 Nov 2018 16:03:59 +0000]
libbarrelfish: Hakefile: rewrite to use Args subtype

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

2 years agohake: Use Args.addCFlags and Args.libraryOs to implement arrakisapplication
Simon Gerber [Tue, 13 Nov 2018 15:21:06 +0000]
hake: Use Args.addCFlags and Args.libraryOs to implement arrakisapplication

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

2 years agolibbarrelfish: Hakefile: fully unify build commands.
Simon Gerber [Tue, 13 Nov 2018 15:18:26 +0000]
libbarrelfish: Hakefile: fully unify build commands.

This commit simplifies the libbarrelfish Hakefile to only state the
sources for libbarrelfish once, and allows selecting #defines and extra
Flounder interfaces per library OS.

TODO: allow inclusion of variant-specific source files and include
paths.

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

2 years agolibbarrelfish: Hakefile: aarch64: move assembly source to arch_assembly
Simon Gerber [Wed, 7 Nov 2018 13:31:02 +0000]
libbarrelfish: Hakefile: aarch64: move assembly source to arch_assembly

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

2 years agomemtest: add new application build which links against barrelfish_mcn instead of...
Simon Gerber [Tue, 6 Nov 2018 17:40:19 +0000]
memtest: add new application build which links against barrelfish_mcn instead of barrelfish

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

2 years agohake: Add new options parameter libraryOs which allows applications to select which...
Simon Gerber [Tue, 6 Nov 2018 17:39:57 +0000]
hake: Add new options parameter libraryOs which allows applications to select which libOs to link against

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

2 years agolibbarrelfish: Refactor Hakefile to allow building multiple versions of libbf with...
Simon Gerber [Tue, 6 Nov 2018 17:39:28 +0000]
libbarrelfish: Refactor Hakefile to allow building multiple versions of libbf with different #defines

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

2 years agokernel: access_ok: properly check that buffer is in user space
Simon Gerber [Fri, 9 Nov 2018 22:37:50 +0000]
kernel: access_ok: properly check that buffer is in user space

Check that all of the provided buffer is in user space rather than just
the buffer's base address.

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

2 years agokernel: armv7: paging_is_region_valid: add parentheses around bitwise ops for readability
Simon Gerber [Fri, 9 Nov 2018 22:36:39 +0000]
kernel: armv7: paging_is_region_valid: add parentheses around bitwise ops for readability

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

2 years agotests: distops_delete: use arch-independent invocation to test presence of cap
Simon Gerber [Thu, 8 Nov 2018 14:23:28 +0000]
tests: distops_delete: use arch-independent invocation to test presence of cap

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

2 years agokernel: armv8: add missing invocation handler for KernelCmd_Is_retypeable
Simon Gerber [Thu, 8 Nov 2018 14:09:03 +0000]
kernel: armv8: add missing invocation handler for KernelCmd_Is_retypeable

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

2 years agoboot: armv8: reduce ARMV8_CORE_DATA_PAGES to 1100 (from 1500).
Simon Gerber [Thu, 8 Nov 2018 14:08:41 +0000]
boot: armv8: reduce ARMV8_CORE_DATA_PAGES to 1100 (from 1500).

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