dev
|
Remove old-style boot device recognition.
|
2000-01-14 14:27:14 +00:00 |
fpu
|
Explicitly use 64-bit types.
|
1999-11-06 20:10:24 +00:00 |
include
|
Remove old-style boot device recognition.
|
2000-01-14 14:38:37 +00:00 |
Makefile
|
Fixup non-DEBUG kernels.
|
1999-05-09 19:24:19 +00:00 |