2017-03-28 21:13:00 +02:00
|
|
|
CONFIG_SMP=y
|
2016-06-17 20:38:33 +02:00
|
|
|
# CONFIG_COMPACTION is not set
|
|
|
|
|
CONFIG_HZ_100=y
|
2017-12-11 22:12:19 +01:00
|
|
|
CONFIG_PCI=y
|
|
|
|
|
CONFIG_PCI_DEBUG=y
|
|
|
|
|
CONFIG_PCIE_XILINX=y
|
2016-06-17 20:38:33 +02:00
|
|
|
CONFIG_CROSS_COMPILE="riscv64-unknown-linux-gnu-"
|
|
|
|
|
CONFIG_DEFAULT_HOSTNAME="ucbvax"
|
|
|
|
|
# CONFIG_CROSS_MEMORY_ATTACH is not set
|
|
|
|
|
CONFIG_NAMESPACES=y
|
|
|
|
|
CONFIG_BLK_DEV_INITRD=y
|
|
|
|
|
# CONFIG_RD_BZIP2 is not set
|
|
|
|
|
# CONFIG_RD_LZMA is not set
|
|
|
|
|
# CONFIG_RD_XZ is not set
|
|
|
|
|
# CONFIG_RD_LZO is not set
|
|
|
|
|
# CONFIG_RD_LZ4 is not set
|
|
|
|
|
CONFIG_EMBEDDED=y
|
|
|
|
|
# CONFIG_BLK_DEV_BSG is not set
|
|
|
|
|
CONFIG_PARTITION_ADVANCED=y
|
|
|
|
|
# CONFIG_IOSCHED_DEADLINE is not set
|
|
|
|
|
CONFIG_NET=y
|
2017-12-11 22:12:19 +01:00
|
|
|
CONFIG_PACKET=y
|
2016-06-17 20:38:33 +02:00
|
|
|
CONFIG_UNIX=y
|
|
|
|
|
CONFIG_INET=y
|
|
|
|
|
# CONFIG_INET_XFRM_MODE_TRANSPORT is not set
|
|
|
|
|
# CONFIG_INET_XFRM_MODE_TUNNEL is not set
|
|
|
|
|
# CONFIG_INET_XFRM_MODE_BEET is not set
|
|
|
|
|
# CONFIG_INET_DIAG is not set
|
|
|
|
|
# CONFIG_IPV6 is not set
|
|
|
|
|
CONFIG_DEVTMPFS=y
|
|
|
|
|
CONFIG_DEVTMPFS_MOUNT=y
|
|
|
|
|
# CONFIG_FIRMWARE_IN_KERNEL is not set
|
2017-12-11 22:30:24 +01:00
|
|
|
CONFIG_VIRTIO_BLK=y
|
2017-12-11 22:12:19 +01:00
|
|
|
CONFIG_BLK_DEV_SD=y
|
|
|
|
|
CONFIG_ATA=y
|
|
|
|
|
CONFIG_SATA_AHCI=y
|
|
|
|
|
CONFIG_SATA_SIL24=y
|
|
|
|
|
CONFIG_NETDEVICES=y
|
|
|
|
|
CONFIG_E1000E=y
|
|
|
|
|
CONFIG_R8169=y
|
2016-06-17 20:38:33 +02:00
|
|
|
# CONFIG_INPUT_KEYBOARD is not set
|
|
|
|
|
# CONFIG_INPUT_MOUSE is not set
|
|
|
|
|
# CONFIG_VT is not set
|
|
|
|
|
# CONFIG_HW_RANDOM is not set
|
|
|
|
|
# CONFIG_HWMON is not set
|
2017-12-11 22:12:19 +01:00
|
|
|
CONFIG_USB=y
|
|
|
|
|
CONFIG_USB_XHCI_HCD=y
|
|
|
|
|
CONFIG_USB_EHCI_HCD=y
|
|
|
|
|
CONFIG_USB_STORAGE=y
|
2017-12-11 22:30:24 +01:00
|
|
|
CONFIG_VIRTIO_MMIO=y
|
2016-06-17 20:38:33 +02:00
|
|
|
# CONFIG_IOMMU_SUPPORT is not set
|
2017-04-06 21:40:10 +02:00
|
|
|
CONFIG_EXT3_FS=y
|
2016-06-17 20:38:33 +02:00
|
|
|
# CONFIG_FILE_LOCKING is not set
|
|
|
|
|
# CONFIG_DNOTIFY is not set
|
|
|
|
|
# CONFIG_INOTIFY_USER is not set
|
|
|
|
|
# CONFIG_PROC_PAGE_MONITOR is not set
|
|
|
|
|
CONFIG_TMPFS=y
|
|
|
|
|
# CONFIG_MISC_FILESYSTEMS is not set
|
|
|
|
|
# CONFIG_NETWORK_FILESYSTEMS is not set
|
2017-12-11 22:12:19 +01:00
|
|
|
CONFIG_CMDLINE_BOOL=y
|
|
|
|
|
CONFIG_CMDLINE="earlyprintk"
|
2016-06-17 20:38:33 +02:00
|
|
|
CONFIG_PRINTK_TIME=y
|
|
|
|
|
CONFIG_STRIP_ASM_SYMS=y
|
|
|
|
|
CONFIG_DEBUG_SECTION_MISMATCH=y
|
2017-06-27 23:37:53 +02:00
|
|
|
CONFIG_STACKTRACE=y
|
2016-06-17 20:38:33 +02:00
|
|
|
# CONFIG_CRYPTO_HW is not set
|
