|
apic_asm.S
|
Buildsystem changes for GCC
|
2010-05-19 13:24:15 +00:00 |
|
apic.c
|
More endpoint_t correctness.
|
2010-06-08 14:09:18 +00:00 |
|
apic.h
|
More endpoint_t correctness.
|
2010-06-08 14:09:18 +00:00 |
|
arch_system.c
|
FPU cleanup
|
2010-07-01 12:23:25 +00:00 |
|
arch_watchdog.c
|
scheduling - time quantum in miliseconds
|
2010-05-25 08:06:14 +00:00 |
|
debugreg.S
|
Buildsystem changes for GCC
|
2010-05-19 13:24:15 +00:00 |
|
kernel.lds
|
Buildsystem changes for GCC
|
2010-05-19 13:24:15 +00:00 |
|
Makefile.inc
|
Rename mkfiles from minix.*.mk to bsd.*.mk
|
2010-06-25 18:29:09 +00:00 |
|
mpx.S
|
Lazy FPU
|
2010-06-07 07:43:17 +00:00 |
|
oxpcie.c
|
kernel: oxpcie serial card support.
|
2010-05-19 10:00:02 +00:00 |
|
oxpcie.h
|
kernel: oxpcie serial card support.
|
2010-05-19 10:00:02 +00:00 |
|
sconst.h
|
Lazy FPU
|
2010-06-07 07:43:17 +00:00 |
|
serial.h
|
kernel: oxpcie serial card support.
|
2010-05-19 10:00:02 +00:00 |