projects
/
barrelfish
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
drivesr/virtio: remove empty files
2019-08-20
Reto Achermann
drivesr/virtio: remove empty files
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-08-20
Reto Achermann
skb: remove test apps as they don't really test the SKB
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-31
Reto Achermann
tests/skb_cap_storage: workaround to get it to work...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-31
Reto Achermann
test/mtwaitset: disable local core spawning on arm...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-31
Reto Achermann
test/lrpc_fpu: make it compile for armv7 and armv8
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-31
Reto Achermann
armv8: actually pass the faulting address
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-30
Reto Achermann
qemu: enable KVM for x86_64 platforms
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-22
Reto Achermann
tests/devif: don't test networking for armv7
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-22
Reto Achermann
armv8: enable compilations of various network drivers
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-22
Reto Achermann
lib/devif: use barrier definitions from barrelfish...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-22
Reto Achermann
armv7: adding rdtscp() alias to make benchmark compile
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-22
Reto Achermann
harness: increasing test timeout
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-22
Reto Achermann
tools/harness: adding name parameter to qemu machine
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
fugu: new error code if the attempted map operation...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
tests/nkm: towards supporting armv8
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
armv8: expect the right number of arguments in the...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
armv8: actually passing the flags argument
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
cpudriver: get the mapping size for armv8 mappings
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
armv8: work around to set the page-table flags
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
x86_64: fail or attempt to map page-tables read/write
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-19
Reto Achermann
tests/malloc: reducing malloc size to 128MB for now
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
tests/malloc: increase allocation size
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
armv7: fixing calculations of required slabs for mappings
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
armv8: fix calculations of required slabs for mappings
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
armv8: vnode invocation modify flags takes 4 arguments
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
harness: adding serial domains to the harness images...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
coreboot: fail when trying to reboot/stop a core on...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
harness: adding int_route to armv7 platforms
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-18
Reto Achermann
libbarrelfish: setting arch specific fields when creating...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
tests/prog_mgmt: don't hardcode architecture specific...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
tests/span: adding printfs to see progress
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
vfs: disable megaraid for standard vfs library
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
tests/malloc: just malloc 256MB for 32-bit machines
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
libbarrelfish: pass the fault type int he first argument
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
tests/nmk: fix compilation for armv8
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
tests/malloc: reduce maximum memory size on 32-bit...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
hake: increase memory for armv7 platforms to 2GB
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
libbarrelfish: increase heapsizes for 64-bit platforms
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-17
Reto Achermann
qemu-wrapper: increase memory sizes
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-16
Reto Achermann
tests/capops: actually use the passed capability, fix...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-16
Reto Achermann
tests/twolevel_cspace: fix use of frame_identify on...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-16
Reto Achermann
tests/capops: fix other occurences of frame_identify
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-16
Reto Achermann
tests/capops: use directy identify as frame_identify...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-15
Reto Achermann
scalebench: print the path of the xml report
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-07-12
Reto Achermann
tools/harness: name the qemu instances consistently
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-30
Reto Achermann
tests/mt_waitset: increase the number of thread pointers
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-30
Reto Achermann
proc_mgnt: check if there's a pending client before...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-30
Reto Achermann
harness: increase the default test timeout
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-29
Reto Achermann
libdriverkit: initialize pointer to l3 vnode in iommu...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-29
Reto Achermann
tests/proc_mgmt: fix nullpointer bug
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-28
Reto Achermann
harness: adding driverdomain_pl390 to armv7 modules
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-28
Reto Achermann
driverkit/serial: adding missing dependencies to Hakefiles
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-28
Reto Achermann
sockeye: fix non-exhaustive pattern in case error
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-28
Reto Achermann
harness: fixing non-exhaustive pater for simjobs function
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-06-26
Reto Achermann
update README
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-08
Reto Achermann
gitlab-ci: adding test that there are no unmerged files
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
gitlab-ci: store the build log on failure
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
gitlab-ci: adding cleanup job
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
gitlab-ci: using moderate parallelism for running builds
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
hake: adding flags to just run hake, without initial...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
gitlab-ci: adding basic compilation tests for x86_64...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
gitlab-ci: adding test to compile hake
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
Merge branch 'master' of gitlab.inf.ethz.ch:OU-ROSCOE...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
gitlab-ci: require new commits to be signed off to...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
FIXUP: adding gitlab-ci.yml to check for non-signed...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-05-07
Reto Achermann
adding gitlab-ci.yml to check for non-signed off commits
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-04-10
Reto Achermann
hake: change path of the fast models to /home/netos
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-04-09
Reto Achermann
integration of ARM FastModels into Hake
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-04-03
Reto Achermann
lib/introute: fixing missing flounder defs in Hakefile
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-04-03
Reto Achermann
replacing umlaute and fixing address in headers Haldeneggste...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-01-22
Reto Achermann
update tools/usbboot to use the right way to ennable...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-01-21
Reto Achermann
tools/usbboot: replace deprecated set_debug with set_option
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2019-01-21
Reto Achermann
tools/arm_boot: clear out structs before use
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-05-29
Reto Achermann
libacpica: adding haek target for the dump facilities...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-05-28
Reto Achermann
k1om: remove fpu_save and fpu_resore functions as they...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-05-28
Reto Achermann
k1om: the xeon phi does not support clflush instructions
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-05-28
Reto Achermann
acpi: provide implementation to dump the ACPI tables
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
decoding net: enable the ioat dma devices
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
dma: reduce the buffer size
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
dma: make the error print buffer bigger
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
dma: make the compl status 2M
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
iommu: remove debug output
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
decoding net: don't use existing node enum
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
libdma: implementaiton of a small benchmark for the...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
Merge branch 'virtualfunction' of ssh://code.systems...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
pci: adding all model nodes in the end
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
hwmodel: make it work with the new queries
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
Merge branch 'virtualfunction' of ssh://code.systems...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
socs: use explicit ranges in the Sockeye definitions
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
decoding net: some fixes and correct calculation of...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
pci: add the decoding net nodes after the configuration
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
decodingnet: use current bar values
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
memserv: fix in print out for OSDI hack
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
hwmodels: adapt to the changed decoding net interface
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
decoding net: reserve the first 4G of the xeon phi
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
libdriverkit: adding missing header file changes
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
xeon_phi: uadapt to the driverkit changes
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
libdriverkit: make it work with the new model
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-29
Reto Achermann
decoding net: don't return vpn/ppn use the addresses...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: reserve just the first 20 PML4 slots...
Signed-off-by: Reto Achermann <
reto.achermann@inf.ethz.ch
>
commit
|
commitdiff
|
tree
next