1 # CONFIG_CPU_ISOLATION is not set 2 CONFIG_LOG_BUF_SHIFT=16 3 CONFIG_BLK_DEV_INITRD=y 4 # CONFIG_RD_BZIP2 is not set 5 # CONFIG_RD_LZMA is not set 6 # CONFIG_RD_XZ is not set 7 # CONFIG_RD_LZO is not set 8 # CONFIG_RD_LZ4 is not set 9 CONFIG_CC_OPTIMIZE_FOR_SIZE=y 10 CONFIG_EXPERT=y 11 # CONFIG_SYSFS_SYSCALL is not set 12 # CONFIG_FHANDLE is not set 13 CONFIG_BASE_SMALL=y 14 # CONFIG_EPOLL is not set 15 # CONFIG_SIGNALFD is not set 16 # CONFIG_TIMERFD is not set 17 # CONFIG_EVENTFD is not set 18 # CONFIG_AIO is not set 19 # CONFIG_IO_URING is not set 20 # CONFIG_ADVISE_SYSCALLS is not set 21 # CONFIG_KALLSYMS is not set 22 # CONFIG_VM_EVENT_COUNTERS is not set 23 # CONFIG_COMPAT_BRK is not set 24 CONFIG_SLUB=y 25 CONFIG_SLUB_TINY=y 26 # CONFIG_MMU is not set 27 CONFIG_ARCH_VIRT=y 28 CONFIG_NONPORTABLE=y 29 CONFIG_SMP=y 30 CONFIG_CMDLINE="root=/dev/vda rw earlycon=uart8250,mmio,0x10000000,115200n8 console=ttyS0" 31 CONFIG_CMDLINE_FORCE=y 32 CONFIG_JUMP_LABEL=y 33 CONFIG_PARTITION_ADVANCED=y 34 # CONFIG_MSDOS_PARTITION is not set 35 # CONFIG_EFI_PARTITION is not set 36 # CONFIG_MQ_IOSCHED_DEADLINE is not set 37 # CONFIG_MQ_IOSCHED_KYBER is not set 38 CONFIG_BINFMT_FLAT=y 39 # CONFIG_COREDUMP is not set 40 CONFIG_DEVTMPFS=y 41 CONFIG_DEVTMPFS_MOUNT=y 42 # CONFIG_FW_LOADER is not set 43 # CONFIG_ALLOW_DEV_COREDUMP is not set 44 CONFIG_VIRTIO_BLK=y 45 # CONFIG_INPUT_KEYBOARD is not set 46 # CONFIG_INPUT_MOUSE is not set 47 # CONFIG_SERIO is not set 48 # CONFIG_LEGACY_PTYS is not set 49 # CONFIG_LDISC_AUTOLOAD is not set 50 CONFIG_SERIAL_8250=y 51 # CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set 52 CONFIG_SERIAL_8250_CONSOLE=y 53 CONFIG_SERIAL_8250_NR_UARTS=1 54 CONFIG_SERIAL_8250_RUNTIME_UARTS=1 55 CONFIG_SERIAL_OF_PLATFORM=y 56 # CONFIG_HW_RANDOM is not set 57 # CONFIG_DEVMEM is not set 58 # CONFIG_HWMON is not set 59 # CONFIG_VGA_CONSOLE is not set 60 # CONFIG_HID is not set 61 # CONFIG_USB_SUPPORT is not set 62 CONFIG_VIRTIO_MMIO=y 63 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y 64 CONFIG_EXT2_FS=y 65 # CONFIG_DNOTIFY is not set 66 # CONFIG_INOTIFY_USER is not set 67 # CONFIG_MISC_FILESYSTEMS is not set 68 CONFIG_LSM="[]" 69 CONFIG_PRINTK_TIME=y 70 # CONFIG_SCHED_DEBUG is not set 71 # CONFIG_RCU_TRACE is not set 72 # CONFIG_FTRACE is not set 73 # CONFIG_RUNTIME_TESTING_MENU is not set
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.