1define KMACHINE corstone1000 2define KTYPE standard 3define KARCH arm64 4 5kconf hardware corstone1000/base.cfg 6