acrn-kernel/drivers/reset
..
Kconfig
Makefile
core.c