1# CONFIG_CPU_ISOLATION is not set 2CONFIG_LOG_BUF_SHIFT=16 3CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=12 4CONFIG_BLK_DEV_INITRD=y 5# CONFIG_RD_BZIP2 is not set 6# CONFIG_RD_LZMA is not set 7# CONFIG_RD_XZ is not set 8# CONFIG_RD_LZO is not set 9# CONFIG_RD_LZ4 is not set 10CONFIG_CC_OPTIMIZE_FOR_SIZE=y 11CONFIG_EXPERT=y 12# CONFIG_SYSFS_SYSCALL is not set 13# CONFIG_FHANDLE is not set 14# CONFIG_BASE_FULL is not set 15# CONFIG_EPOLL is not set 16# CONFIG_SIGNALFD is not set 17# CONFIG_TIMERFD is not set 18# CONFIG_EVENTFD is not set 19# CONFIG_AIO is not set 20# CONFIG_IO_URING is not set 21# CONFIG_ADVISE_SYSCALLS is not set 22# CONFIG_MEMBARRIER is not set 23# CONFIG_KALLSYMS is not set 24# CONFIG_VM_EVENT_COUNTERS is not set 25# CONFIG_COMPAT_BRK is not set 26CONFIG_SLOB=y 27# CONFIG_SLAB_MERGE_DEFAULT is not set 28# CONFIG_MMU is not set 29CONFIG_MAXPHYSMEM_2GB=y 30CONFIG_SMP=y 31CONFIG_CMDLINE="root=/dev/vda rw earlycon=uart8250,mmio,0x10000000,115200n8 console=ttyS0" 32CONFIG_CMDLINE_FORCE=y 33CONFIG_JUMP_LABEL=y 34# CONFIG_BLK_DEV_BSG is not set 35CONFIG_PARTITION_ADVANCED=y 36# CONFIG_MSDOS_PARTITION is not set 37# CONFIG_EFI_PARTITION is not set 38# CONFIG_MQ_IOSCHED_DEADLINE is not set 39# CONFIG_MQ_IOSCHED_KYBER is not set 40CONFIG_BINFMT_FLAT=y 41# CONFIG_COREDUMP is not set 42CONFIG_DEVTMPFS=y 43CONFIG_DEVTMPFS_MOUNT=y 44# CONFIG_FW_LOADER is not set 45# CONFIG_ALLOW_DEV_COREDUMP is not set 46CONFIG_VIRTIO_BLK=y 47# CONFIG_INPUT_KEYBOARD is not set 48# CONFIG_INPUT_MOUSE is not set 49# CONFIG_SERIO is not set 50# CONFIG_LEGACY_PTYS is not set 51# CONFIG_LDISC_AUTOLOAD is not set 52# CONFIG_DEVMEM is not set 53CONFIG_SERIAL_8250=y 54# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set 55CONFIG_SERIAL_8250_CONSOLE=y 56CONFIG_SERIAL_8250_NR_UARTS=1 57CONFIG_SERIAL_8250_RUNTIME_UARTS=1 58CONFIG_SERIAL_OF_PLATFORM=y 59# CONFIG_HW_RANDOM is not set 60# CONFIG_HWMON is not set 61# CONFIG_LCD_CLASS_DEVICE is not set 62# CONFIG_BACKLIGHT_CLASS_DEVICE is not set 63# CONFIG_VGA_CONSOLE is not set 64# CONFIG_HID is not set 65# CONFIG_USB_SUPPORT is not set 66CONFIG_VIRTIO_MMIO=y 67CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y 68CONFIG_SIFIVE_PLIC=y 69# CONFIG_VALIDATE_FS_PARSER is not set 70CONFIG_EXT2_FS=y 71# CONFIG_DNOTIFY is not set 72# CONFIG_INOTIFY_USER is not set 73# CONFIG_MISC_FILESYSTEMS is not set 74CONFIG_LSM="[]" 75CONFIG_PRINTK_TIME=y 76# CONFIG_SCHED_DEBUG is not set 77# CONFIG_RCU_TRACE is not set 78# CONFIG_FTRACE is not set 79# CONFIG_RUNTIME_TESTING_MENU is not set 80