projects
/
barrelfish
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Better description of hake phases
2015-08-28
David Cock
Better description of hake phases
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-28
David Cock
Make hake.sh parallelism configurable (-j N)
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-28
David Cock
ARMv5 & XScale build.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-27
David Cock
Add -Wformat explicitly wherever -Wformat-security...
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-27
David Cock
Made lib/numa compile on x86_32
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-27
David Cock
New-style Xeon Phi build
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-27
David Cock
Removed SCC
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-27
David Cock
Merge branch 'master' into hake-platforms
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-24
David Cock
Set RTSOPTS on build
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-24
David Cock
Cleanup
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-24
David Cock
Cleanup
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-24
David Cock
Generate source-tree relative filenames straight away
commit
|
commitdiff
|
tree
2015-08-24
David Cock
TreeDB merge operation
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-24
David Cock
Keep directory lists sorted
commit
|
commitdiff
|
tree
2015-08-24
David Cock
Fixed a few bugs in the new search combinators
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-23
David Cock
Replaced allfiles list with a Trie
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-21
David Cock
Wasn't outputting Target tokens
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-21
David Cock
Switched from hake.Path to System.FilePath
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-21
David Cock
Cleanup
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-19
David Cock
Walk directories in parallel (async)
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-19
David Cock
Use a set for arch comparison, 9.0s
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-19
David Cock
Sped up path manipulation, down to 9.2s
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-19
David Cock
Down to 12s, targets build
commit
|
commitdiff
|
tree
2015-08-19
David Cock
Dependency generation for Flounder bindings relies...
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-18
David Cock
Replaced old hake
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-17
David Cock
Generates a Makefile
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-17
David Cock
WIP on a faster hake
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-14
David Cock
harness: Default to an empty list, not None.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-14
David Cock
kernel: Interaction of braces with #ifdefs was breaking...
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-12
David Cock
Squashed a bug in paging code from the ARMv8 branch.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-12
David Cock
Merge branch 'armv8'
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-12
David Cock
Toolchain selection when bootstrapping builds
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-11
David Cock
Include modules_common in x86 builds
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-11
David Cock
Generic modules shouldn't be listed under <arch>/
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-11
David Cock
Make build_pandaboard_image.sh use global ARM_GCC
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-11
David Cock
Made errval_t a flounder builtin.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-08-11
Reto Achermann
monitor: bugfixes in the revocation protocol
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
monitor: distops: add missing free + assert in retrieve.
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
monitor: remove old capability code
commit
|
commitdiff
|
tree
2015-08-11
Reto Achermann
monitor: handover of correct state for cap revocations
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
arm: fix caps_map_l1 for armv5 and remove panic()s...
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
armv5: add missing cp15_invalidate_i_and_d_caches_fast()
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
large page morecore: add command line options to test
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
32bit arm: fix large page support. Close T148.
commit
|
commitdiff
|
tree
2015-08-11
Simon Gerber
arm: implement flush cache debug syscall
commit
|
commitdiff
|
tree
2015-08-06
David Cock
Made errval_t a flounder builtin.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-07-08
David Cock
Marked problematic code in ARM subtree.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-07-08
David Cock
Remove serial port hardcoding.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree
2015-07-08
David Cock
Seperated the tool prefix from the tool name for ARMv8.
Signed-off-by: David Cock <
david.cock@inf.ethz.ch
>
commit
|
commitdiff
|
tree