acrn-kernel/drivers/gpu/vga
..
Kconfig
Makefile
vga_switcheroo.c