libra/Kconfig at main · Sysdev32/libra · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
menu "Libra Kernel Configuration"

    config FALLBACK_PCI_ADDRESS
        hex "Fallback PCI Address"
        default 0xE0000000

    config FALLBACK_IOAPIC_ADDRESS
        hex "Fallback IOAPIC Address"
        default 0xFEC00000

    choice
        prompt "Select the interrupt controller to use"
        default APIC

    config APIC
        bool "APIC (Advanced Programmable Interrupt Controller)"

    config PIC
        bool "PIC (Programmable Interrupt Controller)"

    endchoice

    choice
        prompt "Select the debugging output method"
        default BOTH

    config SERIAL
        bool "Serial Port (COM1)"

    config VGA
        bool "VGA Text Mode"

    config BOTH
        bool "Both Serial and VGA"

    endchoice
    choice
        prompt "Select the kernel build type"
        default RELEASE
        config RELEASE
            bool "Release Build (optimized), suitable for production"
        config EXPIREMENTAL
            bool "Experimental Build, suitable for development and testing. Might crash. (ONLY ACTIVATE IF EXPERIENCED)"
    endchoice
endmenu