projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
drivesr/virtio: remove empty files
2019-08-20 Reto Achermanndrivesr/virtio: remove empty files
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-08-20 Reto Achermannskb: 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 Achermanntests/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 Achermanntest/mtwaitset: disable local core spawning on arm...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-31 Reto Achermanntest/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 Achermannarmv8: actually pass the faulting address
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-30 Reto Achermannqemu: enable KVM for x86_64 platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-22 Reto Achermanntests/devif: don't test networking for armv7
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-22 Reto Achermannarmv8: enable compilations of various network drivers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-22 Reto Achermannlib/devif: use barrier definitions from barrelfish...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-22 Reto Achermannarmv7: adding rdtscp() alias to make benchmark compile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-22 Reto Achermannharness: increasing test timeout
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-22 Reto Achermanntools/harness: adding name parameter to qemu machine
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-19 Reto Achermannfugu: 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 Achermanntests/nkm: towards supporting armv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-19 Reto Achermannarmv8: 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 Achermannarmv8: actually passing the flags argument
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-19 Reto Achermanncpudriver: get the mapping size for armv8 mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-19 Reto Achermannarmv8: 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 Achermannx86_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 Achermanntests/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 Achermanntests/malloc: increase allocation size
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-18 Reto Achermannarmv7: fixing calculations of required slabs for mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-18 Reto Achermannarmv8: fix calculations of required slabs for mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-18 Reto Achermannarmv8: vnode invocation modify flags takes 4 arguments
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-18 Reto Achermannharness: adding serial domains to the harness images...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-18 Reto Achermanncoreboot: 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 Achermannharness: adding int_route to armv7 platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-18 Reto Achermannlibbarrelfish: setting arch specific fields when creating...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermanntests/prog_mgmt: don't hardcode architecture specific...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermanntests/span: adding printfs to see progress
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermannvfs: disable megaraid for standard vfs library
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermanntests/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 Achermannlibbarrelfish: 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 Achermanntests/nmk: fix compilation for armv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermanntests/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 Achermannhake: increase memory for armv7 platforms to 2GB
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermannlibbarrelfish: increase heapsizes for 64-bit platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-17 Reto Achermannqemu-wrapper: increase memory sizes
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-16 Reto Achermanntests/capops: actually use the passed capability, fix...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-16 Reto Achermanntests/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 Achermanntests/capops: fix other occurences of frame_identify
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-16 Reto Achermanntests/capops: use directy identify as frame_identify...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-15 Reto Achermannscalebench: print the path of the xml report
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-12 Reto Achermanntools/harness: name the qemu instances consistently
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-30 Reto Achermanntests/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 Achermannproc_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 Achermannharness: increase the default test timeout
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-29 Reto Achermannlibdriverkit: initialize pointer to l3 vnode in iommu...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-29 Reto Achermanntests/proc_mgmt: fix nullpointer bug
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-28 Reto Achermannharness: adding driverdomain_pl390 to armv7 modules
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-28 Reto Achermanndriverkit/serial: adding missing dependencies to Hakefiles
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-28 Reto Achermannsockeye: fix non-exhaustive pattern in case error
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-28 Reto Achermannharness: fixing non-exhaustive pater for simjobs function
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-06-26 Reto Achermannupdate README
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-05-08 Reto Achermanngitlab-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 Achermanngitlab-ci: store the build log on failure
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-05-07 Reto Achermanngitlab-ci: adding cleanup job
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-05-07 Reto Achermanngitlab-ci: using moderate parallelism for running builds
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-05-07 Reto Achermannhake: 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 Achermanngitlab-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 Achermanngitlab-ci: adding test to compile hake
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-05-07 Reto AchermannMerge 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 Achermanngitlab-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 AchermannFIXUP: 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 Achermannadding 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 Achermannhake: 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 Achermannintegration of ARM FastModels into Hake
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-04-03 Reto Achermannlib/introute: fixing missing flounder defs in Hakefile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldeneggste...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2019-01-22 Reto Achermannupdate 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 Achermanntools/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 Achermanntools/arm_boot: clear out structs before use
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-05-29 Reto Achermannlibacpica: adding haek target for the dump facilities...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-05-28 Reto Achermannk1om: 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 Achermannk1om: 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 Achermannacpi: provide implementation to dump the ACPI tables
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndecoding net: enable the ioat dma devices
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndma: reduce the buffer size
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndma: make the error print buffer bigger
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndma: make the compl status 2M
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanniommu: remove debug output
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndecoding net: don't use existing node enum
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannlibdma: implementaiton of a small benchmark for the...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto AchermannMerge branch 'virtualfunction' of ssh://code.systems...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannpci: adding all model nodes in the end
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannhwmodel: make it work with the new queries
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto AchermannMerge branch 'virtualfunction' of ssh://code.systems...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannsocs: use explicit ranges in the Sockeye definitions
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndecoding net: some fixes and correct calculation of...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannpci: 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 Achermanndecodingnet: use current bar values
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannmemserv: fix in print out for OSDI hack
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannhwmodels: adapt to the changed decoding net interface
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndecoding 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 Achermannlibdriverkit: adding missing header file changes
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannxeon_phi: uadapt to the driverkit changes
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermannlibdriverkit: make it work with the new model
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2018-04-29 Reto Achermanndecoding 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 Achermanndecoding net: reserve just the first 20 PML4 slots...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo