# https://cirosantilli.com/linux-kernel-module-cheat#linux-kernel-min-config

## gem5 x86

# CONFIG_INPUT_MOUSE is not set
# CONFIG_INPUT_MOUSEDEV_PSAUX is not set

## qemu aarch64

# For some reason not selected by the Buildroot kernel config by default as it was for arm,
# and pci modules fail to build. Not that we have PCI working on ARM anyways.
CONFIG_PCI=y

## gem5 aarch64

CONFIG_ATA_PIIX=y
CONFIG_PCI_HOST_GENERIC=y

## qemu aarch64 ext2

# Also requires gem5 aarch64 options.
# Not needed for initrd / initramfs.
CONFIG_VIRTIO_PCI=y
