4 /// @todo generate this header from some config file in /etc/init.d
6 // Default mount parameters for boot device
8 #define BOOT_FS "iso9660"
11 #define BOOT_MP "/boot"
14 #define BOOT_DEV "/dev/cdrom0"
20 // Drivers to initialize
21 static const char *init_programs
[] = {
31 #define INIT_PROGRAM(n) init_programs[n]
32 #define INIT2_PROGRAM "init2"