.. |
arch
|
Kernel: separate userland ABI on kernel page
|
2015-09-23 12:01:15 +00:00 |
system
|
Rework getrusage(2) infrastructure
|
2015-09-28 14:06:59 +00:00 |
clock.c
|
Kernel: export clock information on kernel page
|
2015-09-23 12:00:46 +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
|
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
|
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.h
|
kernel: Add support for IPC filters.
|
2015-09-16 11:02:24 +00:00 |
ipc_filter.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
|
kernel: main: Add name and IIT CWID to immediate startup message for Project 0
|
2016-01-28 14:24:53 +05:30 |
Makefile
|
Kernel: correctly set USE_ defines from Makefile
|
2015-08-08 16:56:37 +00:00 |
priv.h
|
kernel: Handle IPC properly at live update time.
|
2015-09-16 11:02:53 +00:00 |
proc.c
|
getrusage(2): zero out ru_nsignals field
|
2015-09-28 14:06:58 +00:00 |
proc.h
|
getrusage(2): zero out ru_nsignals field
|
2015-09-28 14:06:58 +00: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
|
getrusage(2): zero out ru_nsignals field
|
2015-09-28 14:06:58 +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
|
getrusage(2): zero out ru_nsignals field
|
2015-09-28 14:06:58 +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
|
Kernel: separate userland ABI on kernel page
|
2015-09-23 12:01:15 +00: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 |