| .. |
|
arch
|
arm: Make sure __k_unpaged_MINIX is first
|
2015-03-18 07:50:31 +01:00 |
|
system
|
libsys: make tickdelay(3) more reliable
|
2015-08-08 16:55:23 +00:00 |
|
clock.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
clock.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
config.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
const.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
cpulocals.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
cpulocals.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
debug.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
debug.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
extract-errno.sh
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
extract-mfield.sh
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
extract-mtype.sh
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
glo.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
interrupt.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
interrupt.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
ipc.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
kernel.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
main.c
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
Makefile
|
Kernel: correctly set USE_ defines from Makefile
|
2015-08-08 16:56:37 +00:00 |
|
priv.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
proc.c
|
Kernel: fix async message failure handling crash
|
2015-08-08 16:55:52 +00:00 |
|
proc.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
profile.c
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
profile.h
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
proto.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
smp.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
smp.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
spinlock.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
system.c
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
system.h
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
table.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
type.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
usermapped_data.c
|
Fix bitcode support for kernel
|
2014-08-29 12:57:03 -04:00 |
|
utility.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
vm.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
watchdog.c
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
watchdog.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
efa7e3e6d2