| .. |
|
arch
|
Fix grammar errors in a comment
|
2016-10-19 23:51:07 +02:00 |
|
system
|
Various timer improvements
|
2016-08-05 11:12:44 +00:00 |
|
clock.c
|
Various timer improvements
|
2016-08-05 11:12:44 +00: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
|
vm: Separate mmap regions.
|
2015-09-16 11:06:17 +00:00 |
|
cpulocals.c
|
kernel/cpulocals.h: Simplify macros
|
2016-07-09 12:18:15 +02:00 |
|
cpulocals.h
|
kernel/cpulocals.h: Simplify macros
|
2016-07-09 12:18:15 +02:00 |
|
debug.c
|
kernel: Add support for IPC filters.
|
2015-09-16 11:02:24 +00:00 |
|
debug.h
|
kernel: Add support for IPC filters.
|
2015-09-16 11:02:24 +00: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
|
Kernel: separate userland ABI on kernel page
|
2015-09-23 12:01:15 +00: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_filter.h
|
kernel: Add support for IPC filters.
|
2015-09-16 11:02:24 +00:00 |
|
ipc.h
|
kernel: Add support for IPC filters.
|
2015-09-16 11:02:24 +00:00 |
|
kernel.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
main.c
|
Various timer improvements
|
2016-08-05 11:12:44 +00:00 |
|
Makefile
|
Add LLVM GCOV coverage support
|
2016-09-24 22:18:31 +00:00 |
|
priv.h
|
kernel: Handle IPC properly at live update time.
|
2015-09-16 11:02:53 +00:00 |
|
proc.c
|
Kernel: convert K&R functions to ANSI
|
2016-01-16 14:04:17 +01:00 |
|
proc.h
|
Kernel: per-process sleep time
|
2016-01-13 20:32:40 +01:00 |
|
profile.c
|
Kernel: convert K&R functions to ANSI
|
2016-01-16 14:04:17 +01:00 |
|
profile.h
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
proto.h
|
Various timer improvements
|
2016-08-05 11:12:44 +00: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
|
Kernel: convert K&R functions to ANSI
|
2016-01-16 14:04:17 +01:00 |
|
system.h
|
Remove support for call profiling
|
2014-09-30 12:39:03 +00:00 |
|
table.c
|
Add MIB service, sysctl(2) support
|
2016-01-13 20:32:37 +01:00 |
|
type.h
|
New sources layout
|
2014-07-31 16:00:30 +02:00 |
|
usermapped_data.c
|
Kernel: separate userland ABI on kernel page
|
2015-09-23 12:01:15 +00:00 |
|
utility.c
|
Various timer improvements
|
2016-08-05 11:12:44 +00: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 |
