Reto Achermann [Tue, 7 May 2019 15:43:30 +0000]
gitlab-ci: store the build log on failure
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
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>
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>
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>
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>
Lukas Humbel [Tue, 7 May 2019 10:19:18 +0000]
Fix irqtest build
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
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>
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>
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>
Lukas Humbel [Mon, 6 May 2019 13:33:43 +0000]
Merge branch 'hake_deps'
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Mon, 6 May 2019 12:48:05 +0000]
armv8: Improve readme
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
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>
Lukas Humbel [Wed, 17 Apr 2019 13:22:50 +0000]
serial: Fix armv7
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
Lukas Humbel [Wed, 17 Apr 2019 13:10:58 +0000]
sockeye: Import LISA backend
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
Lukas Humbel [Wed, 3 Apr 2019 13:39:59 +0000]
armv8: Remove debug printf
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Lukas Humbel [Wed, 20 Feb 2019 14:30:02 +0000]
remove debug prints
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Lukas Humbel [Mon, 10 Dec 2018 12:53:23 +0000]
hpet: dependencies to domain
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Adam Turowski [Wed, 28 Nov 2018 09:00:10 +0000]
hpet: fixing dependencies
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Adam Turowski [Thu, 15 Nov 2018 14:55:38 +0000]
arm: GICs cleanups
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
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>
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>
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>
Adam Turowski [Fri, 26 Oct 2018 09:48:04 +0000]
armv8: EFI Barrelfish loader
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Wed, 14 Nov 2018 11:33:39 +0000]
Merge commit '
dde1627a841d'
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
projects / barrelfish / log