| .. |
|
arch/i386
|
Fix for SPROFILE == 0
|
2011-05-25 09:42:11 +02:00 |
|
system
|
Make sys_umap on grants check grantee
|
2011-06-09 05:05:20 +00:00 |
|
clock.c
|
SMP - Single shot local timer
|
2010-09-15 14:11:06 +00:00 |
|
clock.h
|
Userspace scheduling - exporting stats
|
2010-09-19 15:52:12 +00:00 |
|
config.h
|
Remote unused segctl kernel call
|
2011-04-26 23:28:23 +02:00 |
|
const.h
|
changes for detecting and building for clang/binutils elf
|
2011-06-07 16:49:52 +02:00 |
|
cpulocals.c
|
SMP - Cpu local variables
|
2010-09-15 14:09:46 +00:00 |
|
cpulocals.h
|
Busy idle loop when profiling
|
2010-09-23 10:49:52 +00:00 |
|
debug.c
|
kernel - change print*() functions for ipc to generic ipc hook functions.
|
2011-02-08 13:54:33 +00:00 |
|
debug.h
|
kernel - change print*() functions for ipc to generic ipc hook functions.
|
2011-02-08 13:54:33 +00:00 |
|
extract-errno.sh
|
Optional IPC logging
|
2010-06-24 13:31:40 +00:00 |
|
extract-mfield.sh
|
Optional IPC logging
|
2010-06-24 13:31:40 +00:00 |
|
extract-mtype.sh
|
Move shared headers in common/include
|
2011-02-06 22:59:02 +00:00 |
|
glo.h
|
Add cttybaud boot monitor variable to control speed of serial console (combine with ctty 0)
|
2011-03-16 12:25:10 +00:00 |
|
interrupt.c
|
APIC mode uses IO APICs
|
2010-09-07 07:18:11 +00:00 |
|
interrupt.h
|
SMP - trully idle APs
|
2010-09-15 14:10:57 +00:00 |
|
ipc.h
|
Set IPC status code only for RECEIVE
|
2010-04-26 14:43:59 +00:00 |
|
kernel.h
|
<ansi.h> -> <minix/ansi.h>
|
2011-01-28 11:35:02 +00:00 |
|
main.c
|
ELF multiboot support
|
2011-05-04 18:51:43 +02:00 |
|
Makefile
|
ELF multiboot support
|
2011-05-04 18:51:43 +02:00 |
|
perf.h
|
SMP - all process have pagetables
|
2010-09-15 14:11:30 +00:00 |
|
priv.h
|
Remote unused segctl kernel call
|
2011-04-26 23:28:23 +02:00 |
|
proc.c
|
Fix for SPROFILE == 0
|
2011-05-25 09:42:11 +02:00 |
|
proc.h
|
VM and kernel support for ELF
|
2011-02-26 23:00:55 +00:00 |
|
profile.c
|
Fix multiboot for ACK-built images
|
2010-12-17 13:47:11 +00:00 |
|
profile.h
|
Fix multiboot for ACK-built images
|
2010-12-17 13:47:11 +00:00 |
|
proto.h
|
Remote unused segctl kernel call
|
2011-04-26 23:28:23 +02:00 |
|
smp.c
|
SMP - lazy FPU
|
2010-09-15 14:11:25 +00:00 |
|
smp.h
|
SMP - lazy FPU
|
2010-09-15 14:11:25 +00:00 |
|
spinlock.h
|
SMP - Big kernel lock (BKL)
|
2010-09-15 14:10:03 +00:00 |
|
start.c
|
Add cttybaud boot monitor variable to control speed of serial console (combine with ctty 0)
|
2011-03-16 12:25:10 +00:00 |
|
system.c
|
Remote unused segctl kernel call
|
2011-04-26 23:28:23 +02:00 |
|
system.h
|
Remote unused segctl kernel call
|
2011-04-26 23:28:23 +02:00 |
|
table.c
|
ELF multiboot support
|
2011-05-04 18:51:43 +02:00 |
|
type.h
|
ELF multiboot support
|
2011-05-04 18:51:43 +02:00 |
|
utility.c
|
SMP - lazy FPU
|
2010-09-15 14:11:25 +00:00 |
|
vm.h
|
No linear addresses in message delivery
|
2010-06-11 08:16:10 +00:00 |
|
watchdog.c
|
Fix for SPROFILE == 0
|
2011-05-25 09:42:11 +02:00 |
|
watchdog.h
|
Watchdog and kernel profiling for AMD
|
2010-09-23 14:42:30 +00:00 |
