index
:
rbraun/x15.git
arm_port_dev
basic_paging
master
memory_model_dev
The X15 microkernel
Richard Braun
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kern
Mode
Name
Size
-rw-r--r--
assert.h
1333
log
plain
-rw-r--r--
bitmap.c
1802
log
plain
-rw-r--r--
bitmap.h
4440
log
plain
-rw-r--r--
condition.c
3448
log
plain
-rw-r--r--
condition.h
1461
log
plain
-rw-r--r--
config.h
778
log
plain
-rw-r--r--
error.h
817
log
plain
-rw-r--r--
init.h
1226
log
plain
-rw-r--r--
kernel.c
1577
log
plain
-rw-r--r--
kernel.h
1133
log
plain
-rw-r--r--
kmem.c
33568
log
plain
-rw-r--r--
kmem.h
8849
log
plain
-rw-r--r--
limits.h
915
log
plain
-rw-r--r--
list.h
8941
log
plain
-rw-r--r--
macros.h
2426
log
plain
-rw-r--r--
mutex.c
1341
log
plain
-rw-r--r--
mutex.h
2075
log
plain
-rw-r--r--
mutex_i.h
2782
log
plain
-rw-r--r--
panic.c
1319
log
plain
-rw-r--r--
panic.h
930
log
plain
-rw-r--r--
param.h
794
log
plain
-rw-r--r--
printk.c
1635
log
plain
-rw-r--r--
printk.h
1234
log
plain
-rw-r--r--
rbtree.c
12719
log
plain
-rw-r--r--
rbtree.h
10908
log
plain
-rw-r--r--
rbtree_i.h
5289
log
plain
-rw-r--r--
spinlock.h
2482
log
plain
-rw-r--r--
spinlock_i.h
1342
log
plain
-rw-r--r--
sprintf.c
15571
log
plain
-rw-r--r--
sprintf.h
1478
log
plain
-rw-r--r--
stddef.h
1075
log
plain
-rw-r--r--
stdint.h
1028
log
plain
-rw-r--r--
string.c
2676
log
plain
-rw-r--r--
string.h
1173
log
plain
-rw-r--r--
task.c
3278
log
plain
-rw-r--r--
task.h
1634
log
plain
-rw-r--r--
thread.c
48930
log
plain
-rw-r--r--
thread.h
7861
log
plain
-rw-r--r--
types.h
794
log
plain