24ff258905
Enhance the Xen python tests to exercise networking:
- Add the networking support we need to the Linux kernel configurations.
- Add a virtual network interface to the Xen dom1 configurations.
- Update the test in the following way:
* Start the emulator with restricted networking.
* Create a network bridge in dom0.
* Check that networking is functional in both domains by ping'ing the
gateway.
(Refer also to the diagram in the python script.)
- While at it, bump Linux kernel to 6.17.1 and U-Boot to 2025.07.
We also need to adjust the DTB address in the Arm 32b U-Boot script to
accommodate the new U-Boot version, which does not have enough free space
around the control DTB anymore.
We disable IPv6 in both kernel configurations to make the 32b test pass
on gitlab CI.
Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>
Signed-off-by: Julien Olivain <ju.o@free.fr>
166 lines
3.7 KiB
Plaintext
166 lines
3.7 KiB
Plaintext
CONFIG_SYSVIPC=y
|
|
CONFIG_NO_HZ_IDLE=y
|
|
CONFIG_HIGH_RES_TIMERS=y
|
|
# CONFIG_CPU_ISOLATION is not set
|
|
CONFIG_CGROUPS=y
|
|
CONFIG_BLK_DEV_INITRD=y
|
|
# CONFIG_INITRAMFS_PRESERVE_MTIME is not set
|
|
CONFIG_EXPERT=y
|
|
CONFIG_PERF_EVENTS=y
|
|
CONFIG_ARCH_VIRT=y
|
|
CONFIG_ARCH_VEXPRESS=y
|
|
CONFIG_ARCH_VEXPRESS_TC2_PM=y
|
|
CONFIG_SMP=y
|
|
CONFIG_MCPM=y
|
|
CONFIG_NR_CPUS=16
|
|
CONFIG_HIGHMEM=y
|
|
CONFIG_ARCH_FORCE_MAX_ORDER=11
|
|
CONFIG_XEN=y
|
|
CONFIG_CPU_IDLE=y
|
|
CONFIG_ARM_CPUIDLE=y
|
|
CONFIG_ARM_PSCI_CPUIDLE=y
|
|
CONFIG_VFP=y
|
|
CONFIG_NEON=y
|
|
CONFIG_KERNEL_MODE_NEON=y
|
|
# CONFIG_SUSPEND is not set
|
|
# CONFIG_GCC_PLUGINS is not set
|
|
CONFIG_MODULES=y
|
|
CONFIG_MODULE_UNLOAD=y
|
|
CONFIG_PARTITION_ADVANCED=y
|
|
CONFIG_CMDLINE_PARTITION=y
|
|
# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
|
|
# CONFIG_SWAP is not set
|
|
# CONFIG_COMPAT_BRK is not set
|
|
CONFIG_NET=y
|
|
CONFIG_PACKET=y
|
|
CONFIG_UNIX=y
|
|
CONFIG_INET=y
|
|
CONFIG_IP_PNP=y
|
|
CONFIG_IP_PNP_DHCP=y
|
|
CONFIG_IP_PNP_BOOTP=y
|
|
CONFIG_IP_PNP_RARP=y
|
|
# CONFIG_IPV6 is not set
|
|
CONFIG_BRIDGE=y
|
|
CONFIG_QRTR=m
|
|
CONFIG_PAGE_POOL_STATS=y
|
|
CONFIG_DEVTMPFS=y
|
|
CONFIG_DEVTMPFS_MOUNT=y
|
|
CONFIG_ARM_SCMI_PROTOCOL=y
|
|
CONFIG_TRUSTED_FOUNDATIONS=y
|
|
CONFIG_MTD=y
|
|
CONFIG_MTD_CMDLINE_PARTS=y
|
|
CONFIG_MTD_BLOCK=y
|
|
CONFIG_MTD_CFI=y
|
|
CONFIG_MTD_CFI_INTELEXT=y
|
|
CONFIG_MTD_PHYSMAP=y
|
|
CONFIG_MTD_PHYSMAP_OF=y
|
|
CONFIG_BLK_DEV_LOOP=y
|
|
CONFIG_BLK_DEV_RAM=y
|
|
CONFIG_BLK_DEV_RAM_SIZE=65536
|
|
CONFIG_VIRTIO_BLK=y
|
|
CONFIG_SRAM=y
|
|
CONFIG_NETDEVICES=y
|
|
CONFIG_VIRTIO_NET=y
|
|
CONFIG_SYSTEMPORT=m
|
|
CONFIG_MACB=y
|
|
CONFIG_FTGMAC100=m
|
|
CONFIG_HIX5HD2_GMAC=y
|
|
CONFIG_MVMDIO=y
|
|
CONFIG_SMSC911X=y
|
|
CONFIG_STMMAC_ETH=y
|
|
CONFIG_DWMAC_DWC_QOS_ETH=y
|
|
CONFIG_MDIO_BITBANG=y
|
|
CONFIG_MDIO_MSCC_MIIM=m
|
|
# CONFIG_WLAN is not set
|
|
CONFIG_XEN_NETDEV_BACKEND=y
|
|
CONFIG_INPUT_EVDEV=y
|
|
CONFIG_INPUT_MISC=y
|
|
CONFIG_INPUT_GPIO_DECODER=m
|
|
CONFIG_INPUT_ADXL34X=m
|
|
# CONFIG_SERIO_SERPORT is not set
|
|
CONFIG_SERIO_AMBAKMI=y
|
|
CONFIG_SERIAL_8250=y
|
|
CONFIG_SERIAL_8250_CONSOLE=y
|
|
CONFIG_SERIAL_8250_NR_UARTS=5
|
|
CONFIG_SERIAL_8250_RUNTIME_UARTS=5
|
|
CONFIG_SERIAL_8250_EXTENDED=y
|
|
CONFIG_SERIAL_8250_MANY_PORTS=y
|
|
CONFIG_SERIAL_8250_SHARE_IRQ=y
|
|
CONFIG_SERIAL_8250_DW=y
|
|
CONFIG_SERIAL_OF_PLATFORM=y
|
|
CONFIG_SERIAL_AMBA_PL011=y
|
|
CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
|
|
CONFIG_SERIAL_DEV_BUS=y
|
|
CONFIG_VIRTIO_CONSOLE=y
|
|
# CONFIG_HW_RANDOM is not set
|
|
CONFIG_TCG_TPM=m
|
|
CONFIG_SPMI=y
|
|
CONFIG_GPIO_DWAPB=y
|
|
CONFIG_GPIO_MPC8XXX=y
|
|
CONFIG_GPIO_PL061=y
|
|
CONFIG_GPIO_SYSCON=y
|
|
CONFIG_POWER_RESET_BRCMKONA=y
|
|
CONFIG_POWER_RESET_GPIO=y
|
|
CONFIG_POWER_RESET_GPIO_RESTART=y
|
|
CONFIG_POWER_RESET_SYSCON=y
|
|
CONFIG_POWER_RESET_SYSCON_POWEROFF=y
|
|
# CONFIG_HWMON is not set
|
|
CONFIG_WATCHDOG=y
|
|
CONFIG_ARM_SP805_WATCHDOG=y
|
|
CONFIG_DW_WATCHDOG=y
|
|
CONFIG_BCMA=y
|
|
CONFIG_BCMA_HOST_SOC=y
|
|
CONFIG_BCMA_DRIVER_GMAC_CMN=y
|
|
CONFIG_BCMA_DRIVER_GPIO=y
|
|
CONFIG_MFD_PM8XXX=y
|
|
# CONFIG_HID_SUPPORT is not set
|
|
# CONFIG_USB_SUPPORT is not set
|
|
CONFIG_EDAC=y
|
|
CONFIG_RTC_CLASS=y
|
|
CONFIG_RTC_DRV_PL031=y
|
|
CONFIG_RTC_DRV_PM8XXX=m
|
|
CONFIG_DMADEVICES=y
|
|
CONFIG_PL330_DMA=y
|
|
CONFIG_DW_DMAC=y
|
|
CONFIG_VIRTIO_MMIO=y
|
|
# CONFIG_VHOST_MENU is not set
|
|
CONFIG_COMMON_CLK_SCMI=y
|
|
CONFIG_HWSPINLOCK=y
|
|
CONFIG_ARM_GT_INITIAL_PRESCALER_VAL=2
|
|
CONFIG_MICROCHIP_PIT64B=y
|
|
CONFIG_MAILBOX=y
|
|
CONFIG_PL320_MBOX=y
|
|
CONFIG_MEMORY=y
|
|
CONFIG_PWM=y
|
|
CONFIG_RESET_SIMPLE=y
|
|
# CONFIG_ARM_PMU is not set
|
|
CONFIG_RAS=y
|
|
CONFIG_FSI=m
|
|
CONFIG_FSI_MASTER_GPIO=m
|
|
CONFIG_FSI_MASTER_HUB=m
|
|
CONFIG_FSI_MASTER_ASPEED=m
|
|
CONFIG_FSI_SCOM=m
|
|
CONFIG_FSI_SBEFIFO=m
|
|
CONFIG_FSI_OCC=m
|
|
CONFIG_INTERCONNECT=y
|
|
CONFIG_COUNTER=m
|
|
CONFIG_EXT4_FS=y
|
|
# CONFIG_DNOTIFY is not set
|
|
# CONFIG_INOTIFY_USER is not set
|
|
CONFIG_AUTOFS_FS=y
|
|
CONFIG_MSDOS_FS=y
|
|
CONFIG_VFAT_FS=y
|
|
CONFIG_NTFS_FS=y
|
|
CONFIG_TMPFS=y
|
|
CONFIG_TMPFS_POSIX_ACL=y
|
|
# CONFIG_MISC_FILESYSTEMS is not set
|
|
CONFIG_NLS_CODEPAGE_437=y
|
|
CONFIG_NLS_ISO8859_1=y
|
|
CONFIG_NLS_UTF8=y
|
|
CONFIG_PRINTK_TIME=y
|
|
CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
|
|
CONFIG_DEBUG_INFO_REDUCED=y
|
|
CONFIG_MAGIC_SYSRQ=y
|
|
CONFIG_DEBUG_FS=y
|
|
# CONFIG_FTRACE is not set
|