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 33# CONFIG_BLK_DEV_BSG is not set 34CONFIG_PARTITION_ADVANCED=y 35# CONFIG_MSDOS_PARTITION is not set 36# CONFIG_EFI_PARTITION is not set 37# CONFIG_MQ_IOSCHED_DEADLINE is not set 38# CONFIG_MQ_IOSCHED_KYBER is not set 39CONFIG_BINFMT_FLAT=y 40# CONFIG_COREDUMP is not set 41CONFIG_DEVTMPFS=y 42CONFIG_DEVTMPFS_MOUNT=y 43# CONFIG_FW_LOADER is not set 44# CONFIG_ALLOW_DEV_COREDUMP is not set 45CONFIG_VIRTIO_BLK=y 46# CONFIG_INPUT_KEYBOARD is not set 47# CONFIG_INPUT_MOUSE is not set 48# CONFIG_SERIO is not set 49# CONFIG_LEGACY_PTYS is not set 50# CONFIG_LDISC_AUTOLOAD is not set 51# CONFIG_DEVMEM is not set 52CONFIG_SERIAL_8250=y 53# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set 54CONFIG_SERIAL_8250_CONSOLE=y 55CONFIG_SERIAL_8250_NR_UARTS=1 56CONFIG_SERIAL_8250_RUNTIME_UARTS=1 57CONFIG_SERIAL_OF_PLATFORM=y 58# CONFIG_HW_RANDOM is not set 59# CONFIG_HWMON is not set 60# CONFIG_LCD_CLASS_DEVICE is not set 61# CONFIG_BACKLIGHT_CLASS_DEVICE is not set 62# CONFIG_VGA_CONSOLE is not set 63# CONFIG_HID is not set 64# CONFIG_USB_SUPPORT is not set 65CONFIG_VIRTIO_MMIO=y 66CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y 67CONFIG_SIFIVE_PLIC=y 68# CONFIG_VALIDATE_FS_PARSER is not set 69CONFIG_EXT2_FS=y 70# CONFIG_DNOTIFY is not set 71# CONFIG_INOTIFY_USER is not set 72# CONFIG_MISC_FILESYSTEMS is not set 73CONFIG_LSM="[]" 74CONFIG_PRINTK_TIME=y 75# CONFIG_SCHED_DEBUG is not set 76# CONFIG_RCU_TRACE is not set 77# CONFIG_FTRACE is not set 78# CONFIG_RUNTIME_TESTING_MENU is not set 79