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>
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>
Aya Kayal [Fri, 26 Jul 2019 13:49:55 +0000]
armv8: Fix idcap_identify syscall
Signed-off-by: Aya Kayal <akayal@student.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
Reto Achermann [Mon, 22 Jul 2019 15:58:36 +0000]
armv7: adding rdtscp() alias to make benchmark compile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 22 Jul 2019 13:33:35 +0000]
harness: increasing test timeout
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 22 Jul 2019 11:04:18 +0000]
tools/harness: adding name parameter to qemu machine
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 15:08:03 +0000]
fugu: new error code if the attempted map operation had insufficient rights
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 15:07:19 +0000]
tests/nkm: towards supporting armv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 14:59:07 +0000]
armv8: expect the right number of arguments in the modify mapping invocation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 14:56:58 +0000]
armv8: actually passing the flags argument
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 14:56:19 +0000]
cpudriver: get the mapping size for armv8 mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 14:55:49 +0000]
armv8: work around to set the page-table flags
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 14:55:18 +0000]
x86_64: fail or attempt to map page-tables read/write
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jul 2019 11:00:40 +0000]
tests/malloc: reducing malloc size to 128MB for now
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 19:34:49 +0000]
tests/malloc: increase allocation size
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 19:34:22 +0000]
armv7: fixing calculations of required slabs for mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 19:22:01 +0000]
armv8: fix calculations of required slabs for mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 18:20:00 +0000]
armv8: vnode invocation modify flags takes 4 arguments
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 15:59:26 +0000]
harness: adding serial domains to the harness images on ARMv7
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 11:36:55 +0000]
coreboot: fail when trying to reboot/stop a core on non-x86 architecture
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 11:33:53 +0000]
harness: adding int_route to armv7 platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jul 2019 07:45:55 +0000]
libbarrelfish: setting arch specific fields when creating new dispatchers
Refactoring the domain_new_dispatcher function and extract arch specific
functions to
- set the segment selectors on x86
- set the got base on armv7/armv8
in the respective arch specific dispatchers structs.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 19:28:19 +0000]
tests/prog_mgmt: don't hardcode architecture specific path
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 16:03:06 +0000]
tests/span: adding printfs to see progress
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 16:02:23 +0000]
vfs: disable megaraid for standard vfs library
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 15:32:53 +0000]
tests/malloc: just malloc 256MB for 32-bit machines
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 13:53:37 +0000]
libbarrelfish: pass the fault type int he first argument
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 13:05:04 +0000]
tests/nmk: fix compilation for armv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 07:43:16 +0000]
tests/malloc: reduce maximum memory size on 32-bit platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 07:42:36 +0000]
hake: increase memory for armv7 platforms to 2GB
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 07:42:11 +0000]
libbarrelfish: increase heapsizes for 64-bit platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 17 Jul 2019 07:02:22 +0000]
qemu-wrapper: increase memory sizes
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jul 2019 09:53:24 +0000]
tests/capops: actually use the passed capability, fix frame_identify in twolevel layout test
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jul 2019 09:51:35 +0000]
tests/twolevel_cspace: fix use of frame_identify on ram cap
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jul 2019 09:13:42 +0000]
tests/capops: fix other occurences of frame_identify
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jul 2019 07:55:25 +0000]
tests/capops: use directy identify as frame_identify requres mappable cap
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 15 Jul 2019 16:27:47 +0000]
scalebench: print the path of the xml report
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 12 Jul 2019 09:47:17 +0000]
tools/harness: name the qemu instances consistently
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 30 Jun 2019 18:36:06 +0000]
tests/mt_waitset: increase the number of thread pointers
having 96 cores x 10 threads should be possible to hold all thread pointers for
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 30 Jun 2019 08:38:06 +0000]
proc_mgnt: check if there's a pending client before dereference pointer
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 30 Jun 2019 08:37:34 +0000]
harness: increase the default test timeout
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 29 Jun 2019 13:19:56 +0000]
libdriverkit: initialize pointer to l3 vnode in iommu client
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 29 Jun 2019 12:57:50 +0000]
tests/proc_mgmt: fix nullpointer bug
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Jun 2019 14:52:32 +0000]
harness: adding driverdomain_pl390 to armv7 modules
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Jun 2019 14:39:15 +0000]
driverkit/serial: adding missing dependencies to Hakefiles
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Jun 2019 14:38:48 +0000]
sockeye: fix non-exhaustive pattern in case error
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Jun 2019 09:31:05 +0000]
harness: fixing non-exhaustive pater for simjobs function
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 26 Jun 2019 07:48:39 +0000]
update README
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Timothy Roscoe [Fri, 24 May 2019 13:05:21 +0000]
Added boot target and qemu support for U-Boot on ARMv8
Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
Timothy Roscoe [Fri, 24 May 2019 11:24:58 +0000]
Added documentation for ARMv8 booting
Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
Daniel Schwyn [Thu, 6 Jun 2019 13:31:42 +0000]
hake: Makefile depends on hakefiles again
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
Roni Häcki [Mon, 20 May 2019 12:41:45 +0000]
iommu: removed a cache invalidate that makes problems on vacherin
Also not needed on babybel machines
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 20 May 2019 12:40:09 +0000]
driverkit: iommu client small fix when model is disabled
Some of the functions were called even though the are not needed when
the model is disabled.
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 20 May 2019 12:38:46 +0000]
driverkit: adding flag defintion (but commented out)
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 20 May 2019 12:37:00 +0000]
skb: setting core hint for e1000 to o
Seems some of the changes have broken cap the transfer of the if_type
field of an endpoint cap. the if_type changes from one core to the other
making it currently not useable.
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 20 May 2019 12:35:32 +0000]
e1000: more useful debug output for tx/rx ring memory
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 15 May 2019 14:01:43 +0000]
kaluga: removing debug define from in start_hpet.c
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 15 May 2019 14:01:12 +0000]
kaluga: adding correct core for getting driver endpoints
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 15 May 2019 11:51:51 +0000]
iommu: added missing newline to command line output
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 15 May 2019 07:06:55 +0000]
iommu: removed frame_identify which is only used for debugging
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 15 May 2019 07:05:51 +0000]
kaluga: correctly adding core id to endpoint service.
Also changed some debug_prints to KALUGA_DEBUG to remove some cluttering
output
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 15 May 2019 07:04:33 +0000]
driverkit: iommu client implement disabling model
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Tue, 14 May 2019 14:05:20 +0000]
e1000: correct computation of RX/TX ring size
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Tue, 14 May 2019 13:52:07 +0000]
kaluga: corrected ifdef to right value
Seems like somehow the define for x86_64 change from __X86_64__ to
__x86_64__
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Lukas Humbel [Thu, 9 May 2019 08:58:47 +0000]
harness: add nice make targets for testsets
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 8 May 2019 13:20:59 +0000]
flounder: Type generation correct dependencies
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Roni Häcki [Wed, 8 May 2019 10:52:45 +0000]
flounder: types generation removed some unnecessary printfs
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 8 May 2019 10:42:45 +0000]
flounder: generate if type header file correctly
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Wed, 8 May 2019 07:05:08 +0000]
gitlab-ci: adding test that there are no unmerged files
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
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>
projects / barrelfish / log