define KMACHINE fvp-arm32
define KTYPE standard
define KARCH arm

include ktypes/standard/standard.scc

include fvp-arm32.scc