JustOS/linux-6.13/drivers/soc/gemini
..
Makefile
soc-gemini.c