1include features/input/input.scc 2include features/net/net.scc 3include cfg/timer/no_hz.scc 4include cfg/virtio.scc 5 6kconf hardware fvp/fvp-board.cfg 7kconf hardware fvp/fvp-net.cfg 8kconf hardware fvp/fvp-rtc.cfg 9kconf hardware fvp/fvp-serial.cfg 10kconf hardware fvp/fvp-cfi.cfg 11kconf hardware fvp/fvp-drm.cfg 12kconf hardware fvp/fvp-watchdog.cfg 13