acrn-kernel/arch/arm64/kernel/pi
..
Makefile
kaslr_early.c