projects
/
barrelfish
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
kernel: do not drop RAM caps
[barrelfish]
/
kernel
/
include
/
drwxr-xr-x
..
drwxr-xr-x
-
arch
tree
|
history
-rw-r--r--
1720
cap_predicates.h
blob
|
history
|
raw
-rw-r--r--
7003
capabilities.h
blob
|
history
|
raw
-rw-r--r--
634
coreboot.h
blob
|
history
|
raw
-rw-r--r--
3531
dispatch.h
blob
|
history
|
raw
-rw-r--r--
1149
distcaps.h
blob
|
history
|
raw
-rw-r--r--
1494
diteinfo.h
blob
|
history
|
raw
-rw-r--r--
1382
exec.h
blob
|
history
|
raw
-rw-r--r--
893
gdb_stub.h
blob
|
history
|
raw
-rw-r--r--
3411
kcb.h
blob
|
history
|
raw
-rw-r--r--
6442
kernel.h
blob
|
history
|
raw
-rw-r--r--
932
microbenchmarks.h
blob
|
history
|
raw
-rw-r--r--
3609
multiboot.h
blob
|
history
|
raw
-rw-r--r--
1034
paging_generic.h
blob
|
history
|
raw
-rw-r--r--
1547
paging_kernel_helper.h
blob
|
history
|
raw
-rw-r--r--
655
schedule.h
blob
|
history
|
raw
-rw-r--r--
2874
serial.h
blob
|
history
|
raw
-rw-r--r--
1676
startup.h
blob
|
history
|
raw
-rw-r--r--
763
sys_debug.h
blob
|
history
|
raw
-rw-r--r--
5627
syscall.h
blob
|
history
|
raw
drwxr-xr-x
-
target
tree
|
history
-rw-r--r--
801
timer.h
blob
|
history
|
raw
-rw-r--r--
796
useraccess.h
blob
|
history
|
raw
-rw-r--r--
577
wakeup.h
blob
|
history
|
raw