1 2 3 4 5 6 7 8
define KMACHINE fvp-arm32 define KTYPE standard define KARCH arm include ktypes/standard/standard.scc include fvp-arm32.scc