blob: a41ea11b1c6120a0ad337a649e3db46299bc0c82 (
plain)
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
|
# ============================================================================
# MyOS Kernel Configuration — AArch64 Default
#
# Copy to project root as .config and edit:
# cp configs/default_aarch64 .config
# vim .config
# make (configure.py runs automatically)
# ============================================================================
# ── Basic ───────────────────────────────────────────────────────────────────
KERNEL_VERSION="v0.0.1"
KERNEL_VERSION_MAJOR=0
KERNEL_VERSION_MINOR=0
KERNEL_VERSION_PATCH=1
KERNEL_VERSION_NAME="Husky"
KERNEL_FILE_NAME="kernel.elf"
# ── Architecture ────────────────────────────────────────────────────────────
# Set by the build system via ARCH= variable. Do not set here.
AARCH64=y
# ── Debugging ───────────────────────────────────────────────────────────────
DEBUG_SERIAL=y
DEBUG_VERBOSE_BOOT=y
DEBUG_PAGE_ALLOC=n
DEBUG_SCHEDULER=n
DEBUG_SYSCALL_TRACE=n
# ── Memory ──────────────────────────────────────────────────────────────────
MAX_CPUS=4
KERNEL_STACK_SIZE=16384
PMM_TYPE=buddy
HEAP_TYPE=slab
MAX_MEMORY_REGIONS=256
# ── Drivers ─────────────────────────────────────────────────────────────────
DRIVER_FBCON=y
DRIVER_PL011_UART=y
DRIVER_PS2KBD=n
DRIVER_VIRTIO_BLK=y
DRIVER_AHCI=n
DRIVER_USB=n
DRIVER_VIRTIO_NET=n
# ── Filesystems ─────────────────────────────────────────────────────────────
FS_INITRAMFS=y
FS_TMPFS=y
FS_EXT2=n
FS_FAT32=n
# ── Console ─────────────────────────────────────────────────────────────────
FBCON_FG_COLOR=0x00CCCCCC
FBCON_BG_COLOR=0x001A1A2E
# ── Kernel features ────────────────────────────────────────────────────────
FEATURE_SMP=n
FEATURE_MODULES=n
FEATURE_NETWORK=n
FEATURE_POSIX_SIGNALS=n
|
