acrn-kernel/drivers/soc/fujitsu
..
Kconfig
Makefile
a64fx-diag.c