menu "Toolchain"
    choice
        prompt "Target architecture"
        config ARCH_i686
            bool "i686"
        config ARCH_mips
            bool "mips"
    endchoice
    choice
        prompt "Toolchain"
        config TOOLCHAIN_i686_gcc
            bool "i686-elf-gcc"
            depends on ARCH_i686
    endchoice

    config CFLAGS
        string "Additional C compiler flags"
    config CXXFLAGS
        string "Additional CXX compiler flags"
    config LDFLAGS
        string "Additional linker flags"
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