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-timer.cfg
13kconf hardware fvp/fvp-watchdog.cfg
14