original_kernel/drivers/gpu/vga
..
Kconfig
Makefile
vga_switcheroo.c
vgaarb.c