projects
/
barrelfish
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
gitlab-ci: store the build log on failure
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
2018-04-28
Reto Achermann
decoding net: restrict block to be of size 0
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
libnet: don't print in event loop
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: use the full vspace to initialize the...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: update free and slots when asserting...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
pci: load the decoding net file instead of use module
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: fix singleton variable
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
xeon_phi: connect to the skb when the domain is started
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: remove another writeln() to match expected...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: remove some debug prints
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: bug fixes in the adding of MMU state
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
Merge branch 'virtualfunction' of ssh://code.systems...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net use retract instead of state remove
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
driverkit: don't pass state when query for node id
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
iommu: use the new prolog interface
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: implement state remove suffix
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: update the initialization function
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: some formatting changes
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: update the state predicates to use less...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
decoding net: make the fail case more visible
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-28
Reto Achermann
sockeye: use the new assert wrappers for static state
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-27
Reto Achermann
iommu: using the right offsets into the page tables
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-27
Reto Achermann
iommu: enable the use of the entire address space
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-26
Reto Achermann
sockeye: reorganize queries and the support
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
hwmodels: make the testcase working
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
hwmodels: use the correct query
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
memserv: adding hack for the OSDI18 paper
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
Merge branch 'virtualfunction' of ssh://code.systems...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
libdma; disable debugging again
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
tests/offload: use the ram node id not the numanode:0
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
sockeye: don't print the hex values as parsing doesn...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
tests/offload: printing the allocation size
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
hwmodel: remove constraint of 1G alignment
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-25
Reto Achermann
libdma: use provided convert function when setup descriptors
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
driverkit: adding optino to map at fixed address
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
xeonphi: stub implementation of the config changes
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
xeonphi: print ranges instead of bits
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sockeye: don't use bits and use range instead
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sockeye: update xeon phi description
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sockeye: fix missing comma in parser
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sockeye: call assert inside the init function of the...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
skb: increae memory to 128M
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sockeye: update to the new state interface
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sbrk: fixing bug with the goffset calculation and using...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-24
Reto Achermann
sockeye: separate the state lists
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-21
Reto Achermann
xeonphi: use the model to allocate memory
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-21
Reto Achermann
e1000: make the periodic event to trigger every 50us
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-21
Reto Achermann
netsockets: don't loop forever, have an upper bound
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-21
Reto Achermann
netsocketserver: yield if there is nothing on the wire
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-21
Reto Achermann
libnet: attempt to make the polling a bit more efficient
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
netsocketserver: enable the polling again
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
driverkit: provide some more debug information in the...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
skb: correct time with the skb query time measure
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
libbarrelfish: use the default send flags when passing...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
kaluga: orchestrate the boot up process differently...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
sockeye: don't use low memory regions when allocating...
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
2018-04-20
Reto Achermann
monitor: return NULL_CAP on error
Signed-off-by:
Reto Achermann
<reto.achermann@inf.ethz.ch>
commit
|
commitdiff
|
tree
next