Uinxed-Kernel/Kconfig at master · ViudiraTech/Uinxed-Kernel · 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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
mainmenu "Uinxed-Kernel"

menu "Kernel debugging"

  config KERNEL_LOG
    bool "Kernel runtime logging output"
    default y
    help
      "Outputs kernel log messages during system runtime to aid the monitoring and debugging."

endmenu

menu "Terminal properties"

  config TTF_CONSOLE
    bool "TTF font support for the terminal"
    default y
    help
      "If enabled, the specified ttf font is used, otherwise the default bitmap font is used."

    config CONSOLE_FONT_SIZE
      depends on TTF_CONSOLE
      int "Font size for kernel terminal. (TTF fonts only)"
      default 10
      range 0 100
      help
        "If TTF font mode is enabled, this option allows you to adjust the kernel terminal text size arbitrarily."

endmenu

menu "Processor configuration"
  menu "Symmetric multi-processing"

    config CPU_MAX_COUNT
      int "Maximum number of CPUs"
      default 0
      help
        "Limits the maximum number of CPUs the kernel can use, set to 0 for no limit."

  endmenu
  menu "Extended instruction set"

    config CPU_FEATURE_FPU
      bool "Enable X87FPU (Intel 80X87 Floating-Point Unit)"
      default y
      help
        "Set whether to enable X87FPU/MMX."

    config CPU_FEATURE_SSE
      depends on CPU_FEATURE_FPU
      bool "Enable SSE/SSE2 (Streaming SIMD Extensions)"
      default y
      help
        "Set whether to enable SSE/SSE2."

    config CPU_FEATURE_AVX
      depends on CPU_FEATURE_SSE
      bool "Enable AVX/AVX2 (Advanced Vector Extensions)"
      default y
      help
        "Set whether to enable AVX/AVX2."

  endmenu
endmenu

menu "Device drivers"
  menu "Character drivers"
    menu "Teletype drivers"

      config TTY_DEFAULT_DEV
        string "Default teletype device"
        default "tty0"
        help
          "Specifies the default teletype device used when no device is explicitly set by boot parameters."

      config TTY_BUF_SIZE
        int "Teletype buffer size"
        default 4096
        range 256 16384
        help
          "Buffer size for temporarily storing input and output data in the teletype driver."

    endmenu
    menu "Serial port drivers"

      config SERIAL_BAUD_RATE
        int "Serial port baud rate"
        default 9600
        range 9600 115200
        help
          "Default baud rate used by the serial port driver."

      config SERIAL_DATA_BITS
        int "Serial port data bits"
        default 8
        range 5 8
        help
          "Number of data bits per character for the serial port device."

      config SERIAL_STOP_BITS
        int "Serial port stop bits"
        default 1
        range 1 2
        help
          "Number of stop bits per character for the serial port device."

    endmenu
  endmenu
endmenu