2 # Automatically generated make config: don't edit
8 # Kernel binaries (x86)
11 CONFIG_IMAGE_ELF_EMBEDDED=y
12 CONFIG_IMAGE_ELF_MULTIBOOT=y
15 # Build hosted UNIX Binary
18 # CONFIG_PLUGIN_PCI is not set
23 # CONFIG_DEBUG is not set
24 CONFIG_DEBUG_CONSOLE=y
25 CONFIG_DEBUG_CONSOLE_SERIAL=y
27 CONFIG_SERIAL_SPEED=115200
28 CONFIG_DEBUG_CONSOLE_VGA=y
31 # Module Configuration
37 # Filesystem Configuration
47 # CONFIG_FSYS_MINIX is not set
48 CONFIG_FSYS_REISERFS=y
51 # CONFIG_FSYS_FFS is not set
52 # CONFIG_FSYS_VSTAFS is not set
53 # CONFIG_DEBUG_FS is not set
65 # CONFIG_DEBUG_IDE is not set