|
@@ -3,6 +3,7 @@ CONFIG_SYSVIPC=y
|
|
|
CONFIG_POSIX_MQUEUE=y
|
|
|
CONFIG_NO_HZ_IDLE=y
|
|
|
CONFIG_HIGH_RES_TIMERS=y
|
|
|
+CONFIG_BPF_SYSCALL=y
|
|
|
CONFIG_IKCONFIG=y
|
|
|
CONFIG_IKCONFIG_PROC=y
|
|
|
CONFIG_CGROUPS=y
|
|
@@ -15,8 +16,7 @@ CONFIG_CHECKPOINT_RESTORE=y
|
|
|
CONFIG_BLK_DEV_INITRD=y
|
|
|
#CONFIG_INITRAMFS_SOURCE="rootfs.cpio"
|
|
|
CONFIG_EXPERT=y
|
|
|
-CONFIG_BPF_SYSCALL=y
|
|
|
-CONFIG_SOC_SIFIVE=y
|
|
|
+CONFIG_SOC_STARFIVE_DUBHE=y
|
|
|
CONFIG_SMP=y
|
|
|
CONFIG_HOTPLUG_CPU=y
|
|
|
# CONFIG_EFI is not set
|
|
@@ -79,9 +79,8 @@ CONFIG_VIRTIO_MMIO=y
|
|
|
CONFIG_GOLDFISH=y
|
|
|
CONFIG_RPMSG_CHAR=y
|
|
|
CONFIG_RPMSG_VIRTIO=y
|
|
|
-# CONFIG_NVDLA is not set
|
|
|
+CONFIG_RESET_CONTROLLER=y
|
|
|
CONFIG_AUTOFS4_FS=y
|
|
|
-CONFIG_EXT4_FS=y
|
|
|
CONFIG_MSDOS_FS=y
|
|
|
CONFIG_VFAT_FS=y
|
|
|
CONFIG_FAT_DEFAULT_UTF8=y
|