menu "Toolchain"
    config CFLAGS
        string "Additional C compiler flags"
    config CXXFLAGS
        string "Additional CXX compiler flags"
    config LDFLAGS
        string "Additional linker flags"
endmenu

menu "Target"
    choice
        prompt "Target architecture"
        config ARCH_i686
            bool "i686"
    endchoice
endmenu

menu "Devices"
    config PIC_8259
        bool "PIC 8259"
        depends on ARCH_i686
        default y
    config UART_16550
        bool "UART 16550"
        default y
    config VGA_TEXT_MODE
        bool "VGA (text mode)"
        default y
    config KB_PS2
        bool "PS/2 keyboard"
        default y
endmenu