Skip to content

Commit a6183ce

Browse files
committed
enable 9pfs
1 parent 44f418d commit a6183ce

File tree

1 file changed

+144
-3
lines changed

1 file changed

+144
-3
lines changed

arm64_tinydocker

Lines changed: 144 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -251,7 +251,6 @@ CONFIG_ARCH_MMAP_RND_BITS_MIN=18
251251
CONFIG_ARCH_MMAP_RND_BITS_MAX=33
252252
CONFIG_ARCH_MMAP_RND_COMPAT_BITS_MIN=11
253253
CONFIG_ARCH_MMAP_RND_COMPAT_BITS_MAX=16
254-
CONFIG_NO_IOPORT_MAP=y
255254
CONFIG_STACKTRACE_SUPPORT=y
256255
CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
257256
CONFIG_LOCKDEP_SUPPORT=y
@@ -1206,7 +1205,10 @@ CONFIG_NET_RX_BUSY_POLL=y
12061205
CONFIG_FIB_RULES=y
12071206
# CONFIG_WIRELESS is not set
12081207
# CONFIG_RFKILL is not set
1209-
# CONFIG_NET_9P is not set
1208+
CONFIG_NET_9P=y
1209+
CONFIG_NET_9P_FD=y
1210+
CONFIG_NET_9P_VIRTIO=y
1211+
# CONFIG_NET_9P_DEBUG is not set
12101212
# CONFIG_CAIF is not set
12111213
# CONFIG_CEPH_LIB is not set
12121214
# CONFIG_NFC is not set
@@ -1227,8 +1229,94 @@ CONFIG_FAILOVER=y
12271229
CONFIG_ARM_AMBA=y
12281230
CONFIG_HAVE_PCI=y
12291231
CONFIG_GENERIC_PCI_IOMAP=y
1230-
# CONFIG_PCI is not set
1232+
CONFIG_PCI=y
1233+
CONFIG_PCI_DOMAINS=y
1234+
CONFIG_PCI_DOMAINS_GENERIC=y
1235+
CONFIG_PCI_SYSCALL=y
1236+
# CONFIG_PCIEPORTBUS is not set
1237+
CONFIG_PCIEASPM=y
1238+
CONFIG_PCIEASPM_DEFAULT=y
1239+
# CONFIG_PCIEASPM_POWERSAVE is not set
1240+
# CONFIG_PCIEASPM_POWER_SUPERSAVE is not set
1241+
# CONFIG_PCIEASPM_PERFORMANCE is not set
1242+
# CONFIG_PCIE_PTM is not set
1243+
CONFIG_PCI_MSI=y
1244+
CONFIG_PCI_QUIRKS=y
1245+
# CONFIG_PCI_DEBUG is not set
1246+
# CONFIG_PCI_STUB is not set
1247+
# CONFIG_PCI_DOE is not set
1248+
CONFIG_PCI_ECAM=y
1249+
# CONFIG_PCI_IOV is not set
1250+
# CONFIG_PCI_PRI is not set
1251+
# CONFIG_PCI_PASID is not set
1252+
# CONFIG_PCIE_TPH is not set
1253+
# CONFIG_PCI_DYNAMIC_OF_NODES is not set
1254+
# CONFIG_PCIE_BUS_TUNE_OFF is not set
1255+
CONFIG_PCIE_BUS_DEFAULT=y
1256+
# CONFIG_PCIE_BUS_SAFE is not set
1257+
# CONFIG_PCIE_BUS_PERFORMANCE is not set
1258+
# CONFIG_PCIE_BUS_PEER2PEER is not set
1259+
CONFIG_VGA_ARB=y
1260+
CONFIG_VGA_ARB_MAX_GPUS=16
1261+
# CONFIG_HOTPLUG_PCI is not set
1262+
1263+
#
1264+
# PCI controller drivers
1265+
#
1266+
CONFIG_PCI_HOST_COMMON=y
1267+
# CONFIG_PCIE_ALTERA is not set
1268+
# CONFIG_PCI_HOST_THUNDER_PEM is not set
1269+
# CONFIG_PCI_HOST_THUNDER_ECAM is not set
1270+
# CONFIG_PCI_FTPCI100 is not set
1271+
CONFIG_PCI_HOST_GENERIC=y
1272+
# CONFIG_PCI_XGENE is not set
1273+
# CONFIG_PCIE_XILINX is not set
1274+
1275+
#
1276+
# Cadence-based PCIe controllers
1277+
#
1278+
# CONFIG_PCIE_CADENCE_PLAT_HOST is not set
1279+
# end of Cadence-based PCIe controllers
1280+
1281+
#
1282+
# DesignWare-based PCIe controllers
1283+
#
1284+
# CONFIG_PCIE_AL is not set
1285+
# CONFIG_PCIE_AMD_MDB is not set
1286+
# CONFIG_PCI_MESON is not set
1287+
# CONFIG_PCI_HISI is not set
1288+
# CONFIG_PCIE_KIRIN is not set
1289+
# CONFIG_PCIE_DW_PLAT_HOST is not set
1290+
# end of DesignWare-based PCIe controllers
1291+
1292+
#
1293+
# Mobiveil-based PCIe controllers
1294+
#
1295+
# end of Mobiveil-based PCIe controllers
1296+
1297+
#
1298+
# PLDA-based PCIe controllers
1299+
#
1300+
# CONFIG_PCIE_MICROCHIP_HOST is not set
1301+
# end of PLDA-based PCIe controllers
1302+
# end of PCI controller drivers
1303+
1304+
#
1305+
# PCI Endpoint
1306+
#
1307+
# CONFIG_PCI_ENDPOINT is not set
1308+
# end of PCI Endpoint
1309+
1310+
#
1311+
# PCI switch controller drivers
1312+
#
1313+
# CONFIG_PCI_SW_SWITCHTEC is not set
1314+
# end of PCI switch controller drivers
1315+
1316+
# CONFIG_PCI_PWRCTRL_SLOT is not set
1317+
# CONFIG_CXL_BUS is not set
12311318
# CONFIG_PCCARD is not set
1319+
# CONFIG_RAPIDIO is not set
12321320

12331321
#
12341322
# Generic Driver Options
@@ -1285,6 +1373,7 @@ CONFIG_GENERIC_ARCH_TOPOLOGY=y
12851373

12861374
# CONFIG_ARM_SDE_INTERFACE is not set
12871375
# CONFIG_FIRMWARE_MEMMAP is not set
1376+
# CONFIG_FW_CFG_SYSFS is not set
12881377
# CONFIG_ARM_FFA_TRANSPORT is not set
12891378
# CONFIG_GOOGLE_FIRMWARE is not set
12901379
CONFIG_ARM_PSCI_FW=y
@@ -1320,6 +1409,7 @@ CONFIG_OF_RESERVED_MEM=y
13201409
# CONFIG_PARPORT is not set
13211410
CONFIG_BLK_DEV=y
13221411
# CONFIG_BLK_DEV_NULL_BLK is not set
1412+
# CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
13231413
# CONFIG_ZRAM is not set
13241414
CONFIG_BLK_DEV_LOOP=y
13251415
CONFIG_BLK_DEV_LOOP_MIN_COUNT=8
@@ -1334,6 +1424,7 @@ CONFIG_VIRTIO_BLK=y
13341424
#
13351425
# NVME Support
13361426
#
1427+
# CONFIG_BLK_DEV_NVME is not set
13371428
# CONFIG_NVME_FC is not set
13381429
# CONFIG_NVME_TCP is not set
13391430
# CONFIG_NVME_TARGET is not set
@@ -1343,8 +1434,13 @@ CONFIG_VIRTIO_BLK=y
13431434
# Misc devices
13441435
#
13451436
# CONFIG_DUMMY_IRQ is not set
1437+
# CONFIG_PHANTOM is not set
1438+
# CONFIG_TIFM_CORE is not set
13461439
# CONFIG_ENCLOSURE_SERVICES is not set
1440+
# CONFIG_HP_ILO is not set
13471441
# CONFIG_SRAM is not set
1442+
# CONFIG_DW_XDATA_PCIE is not set
1443+
# CONFIG_PCI_ENDPOINT_TEST is not set
13481444
# CONFIG_XILINX_SDFEC is not set
13491445
# CONFIG_OPEN_DICE is not set
13501446
# CONFIG_NTSYNC is not set
@@ -1358,9 +1454,16 @@ CONFIG_VIRTIO_BLK=y
13581454
# CONFIG_EEPROM_93CX6 is not set
13591455
# end of EEPROM support
13601456

1457+
# CONFIG_CB710_CORE is not set
1458+
13611459
#
13621460
# Altera FPGA firmware download module (requires I2C)
13631461
#
1462+
# CONFIG_VMWARE_VMCI is not set
1463+
# CONFIG_GENWQE is not set
1464+
# CONFIG_BCM_VK is not set
1465+
# CONFIG_MISC_ALCOR_PCI is not set
1466+
# CONFIG_MISC_RTSX_PCI is not set
13641467
# CONFIG_PVPANIC is not set
13651468
# end of Misc devices
13661469

@@ -1375,6 +1478,15 @@ CONFIG_SCSI_MOD=y
13751478
# CONFIG_ATA is not set
13761479
# CONFIG_MD is not set
13771480
# CONFIG_TARGET_CORE is not set
1481+
# CONFIG_FUSION is not set
1482+
1483+
#
1484+
# IEEE 1394 (FireWire) support
1485+
#
1486+
# CONFIG_FIREWIRE is not set
1487+
# CONFIG_FIREWIRE_NOSY is not set
1488+
# end of IEEE 1394 (FireWire) support
1489+
13781490
CONFIG_NETDEVICES=y
13791491
CONFIG_NET_CORE=y
13801492
# CONFIG_BONDING is not set
@@ -1403,7 +1515,10 @@ CONFIG_VIRTIO_NET=y
14031515
# CONFIG_NLMON is not set
14041516
# CONFIG_NETKIT is not set
14051517
# CONFIG_NET_VRF is not set
1518+
# CONFIG_ARCNET is not set
14061519
# CONFIG_ETHERNET is not set
1520+
# CONFIG_FDDI is not set
1521+
# CONFIG_HIPPI is not set
14071522
# CONFIG_PHYLIB is not set
14081523
# CONFIG_MDIO_BUS is not set
14091524

@@ -1428,6 +1543,7 @@ CONFIG_VIRTIO_NET=y
14281543
# CONFIG_WWAN is not set
14291544
# end of Wireless WAN
14301545

1546+
# CONFIG_VMXNET3 is not set
14311547
CONFIG_NET_FAILOVER=y
14321548
# CONFIG_ISDN is not set
14331549

@@ -1487,6 +1603,7 @@ CONFIG_MOUSE_PS2_FOCALTECH=y
14871603
CONFIG_SERIO=y
14881604
CONFIG_SERIO_SERPORT=y
14891605
# CONFIG_SERIO_AMBAKMI is not set
1606+
# CONFIG_SERIO_PCIPS2 is not set
14901607
CONFIG_SERIO_LIBPS2=y
14911608
# CONFIG_SERIO_RAW is not set
14921609
# CONFIG_SERIO_ALTERA_PS2 is not set
@@ -1529,12 +1646,14 @@ CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
15291646
# CONFIG_SERIAL_UARTLITE is not set
15301647
CONFIG_SERIAL_CORE=y
15311648
CONFIG_SERIAL_CORE_CONSOLE=y
1649+
# CONFIG_SERIAL_JSM is not set
15321650
# CONFIG_SERIAL_SIFIVE is not set
15331651
# CONFIG_SERIAL_SCCNXP is not set
15341652
# CONFIG_SERIAL_ALTERA_JTAGUART is not set
15351653
# CONFIG_SERIAL_ALTERA_UART is not set
15361654
# CONFIG_SERIAL_XILINX_PS_UART is not set
15371655
# CONFIG_SERIAL_ARC is not set
1656+
# CONFIG_SERIAL_RP2 is not set
15381657
# CONFIG_SERIAL_FSL_LPUART is not set
15391658
# CONFIG_SERIAL_FSL_LINFLEXUART is not set
15401659
# CONFIG_SERIAL_CONEXANT_DIGICOLOR is not set
@@ -1543,13 +1662,15 @@ CONFIG_SERIAL_CORE_CONSOLE=y
15431662

15441663
# CONFIG_SERIAL_NONSTANDARD is not set
15451664
# CONFIG_N_GSM is not set
1665+
# CONFIG_NOZOMI is not set
15461666
# CONFIG_NULL_TTY is not set
15471667
# CONFIG_HVC_DCC is not set
15481668
# CONFIG_SERIAL_DEV_BUS is not set
15491669
# CONFIG_TTY_PRINTK is not set
15501670
# CONFIG_VIRTIO_CONSOLE is not set
15511671
# CONFIG_IPMI_HANDLER is not set
15521672
# CONFIG_HW_RANDOM is not set
1673+
# CONFIG_APPLICOM is not set
15531674
# CONFIG_DEVMEM is not set
15541675
# CONFIG_DEVPORT is not set
15551676
# CONFIG_TCG_TPM is not set
@@ -1613,11 +1734,16 @@ CONFIG_BCMA_POSSIBLE=y
16131734
# CONFIG_MFD_ATMEL_HLCDC is not set
16141735
# CONFIG_MFD_MADERA is not set
16151736
# CONFIG_MFD_HI6421_PMIC is not set
1737+
# CONFIG_LPC_ICH is not set
1738+
# CONFIG_LPC_SCH is not set
1739+
# CONFIG_MFD_JANZ_CMODIO is not set
16161740
# CONFIG_MFD_KEMPLD is not set
16171741
# CONFIG_MFD_MT6397 is not set
1742+
# CONFIG_MFD_RDC321X is not set
16181743
# CONFIG_MFD_SM501 is not set
16191744
# CONFIG_MFD_SYSCON is not set
16201745
# CONFIG_MFD_TQMX86 is not set
1746+
# CONFIG_MFD_VX855 is not set
16211747
# end of Multifunction device drivers
16221748

16231749
# CONFIG_REGULATOR is not set
@@ -1824,7 +1950,11 @@ CONFIG_RTC_DRV_PL031=y
18241950
# CONFIG_VIRT_DRIVERS is not set
18251951
CONFIG_VIRTIO_ANCHOR=y
18261952
CONFIG_VIRTIO=y
1953+
CONFIG_VIRTIO_PCI_LIB=y
1954+
CONFIG_VIRTIO_PCI_LIB_LEGACY=y
18271955
CONFIG_VIRTIO_MENU=y
1956+
CONFIG_VIRTIO_PCI=y
1957+
CONFIG_VIRTIO_PCI_LEGACY=y
18281958
CONFIG_VIRTIO_BALLOON=y
18291959
CONFIG_VIRTIO_INPUT=y
18301960
CONFIG_VIRTIO_MMIO=y
@@ -1974,6 +2104,7 @@ CONFIG_ARM_ARCH_TIMER=y
19742104
# CONFIG_EXTCON is not set
19752105
# CONFIG_MEMORY is not set
19762106
# CONFIG_IIO is not set
2107+
# CONFIG_NTB is not set
19772108
# CONFIG_PWM is not set
19782109

19792110
#
@@ -1982,6 +2113,7 @@ CONFIG_ARM_ARCH_TIMER=y
19822113
CONFIG_IRQCHIP=y
19832114
CONFIG_ARM_GIC=y
19842115
CONFIG_ARM_GIC_MAX_NR=1
2116+
CONFIG_ARM_GIC_V2M=y
19852117
CONFIG_ARM_GIC_V3=y
19862118
CONFIG_ARM_GIC_V3_ITS=y
19872119
CONFIG_IRQ_MSI_LIB=y
@@ -2016,6 +2148,7 @@ CONFIG_PARTITION_PERCPU=y
20162148
# CONFIG_POWERCAP is not set
20172149
# CONFIG_MCB is not set
20182150
# CONFIG_RAS is not set
2151+
# CONFIG_USB4 is not set
20192152

20202153
#
20212154
# Android
@@ -2109,6 +2242,10 @@ CONFIG_OVERLAY_FS_REDIRECT_ALWAYS_FOLLOW=y
21092242
#
21102243
# Caches
21112244
#
2245+
CONFIG_NETFS_SUPPORT=y
2246+
# CONFIG_NETFS_STATS is not set
2247+
# CONFIG_NETFS_DEBUG is not set
2248+
# CONFIG_FSCACHE is not set
21122249
# end of Caches
21132250

21142251
#
@@ -2158,6 +2295,9 @@ CONFIG_NETWORK_FILESYSTEMS=y
21582295
# CONFIG_SMB_SERVER is not set
21592296
# CONFIG_CODA_FS is not set
21602297
# CONFIG_AFS_FS is not set
2298+
CONFIG_9P_FS=y
2299+
CONFIG_9P_FS_POSIX_ACL=y
2300+
CONFIG_9P_FS_SECURITY=y
21612301
# CONFIG_NLS is not set
21622302
# CONFIG_DLM is not set
21632303
# CONFIG_UNICODE is not set
@@ -2268,6 +2408,7 @@ CONFIG_TEXTSEARCH_FSM=y
22682408
CONFIG_ASSOCIATIVE_ARRAY=y
22692409
CONFIG_HAS_IOMEM=y
22702410
CONFIG_HAS_IOPORT=y
2411+
CONFIG_HAS_IOPORT_MAP=y
22712412
CONFIG_HAS_DMA=y
22722413
CONFIG_NEED_SG_DMA_LENGTH=y
22732414
CONFIG_NEED_DMA_MAP_STATE=y

0 commit comments

Comments
 (0)