minix/servers
2011-07-09 15:04:42 +02:00
..
devman Fix GCC image building 2011-07-09 15:04:42 +02:00
ds boot: Add multiboot support 2011-06-24 17:21:51 +02:00
ext2 Fix GCC image building 2011-07-09 15:04:42 +02:00
hgfs Fix GCC image building 2011-07-09 15:04:42 +02:00
inet Fix GCC image building 2011-07-09 15:04:42 +02:00
init Fix GCC image building 2011-07-09 15:04:42 +02:00
ipc Fix GCC image building 2011-07-09 15:04:42 +02:00
is Fix GCC image building 2011-07-09 15:04:42 +02:00
iso9660fs Fix GCC image building 2011-07-09 15:04:42 +02:00
lwip Fix GCC image building 2011-07-09 15:04:42 +02:00
mfs introduce sqrt_approx() in -lsys 2011-07-04 02:51:12 +02:00
pfs boot: Add multiboot support 2011-06-24 17:21:51 +02:00
pm pm, vfs: don't print something for bogus calls 2011-07-05 13:21:48 +02:00
procfs Fix GCC image building 2011-07-09 15:04:42 +02:00
rs boot: Add multiboot support 2011-06-24 17:21:51 +02:00
sched boot: Add multiboot support 2011-06-24 17:21:51 +02:00
vfs pm, vfs: don't print something for bogus calls 2011-07-05 13:21:48 +02:00
vm boot: Add multiboot support 2011-06-24 17:21:51 +02:00
Makefile Added Device Manager (USB hotplug support) 2011-02-23 13:48:03 +00:00
Makefile.inc Fix GCC image building 2011-07-09 15:04:42 +02:00