Jake Day 5afd0ad3ba adding config files and moving kernel source		2017-08-20 19:28:05 -04:00
..
early_printk.c	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
efi.c	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
efi_32.c	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
efi_64.c	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
efi_stub_32.S	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
efi_stub_64.S	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
efi_thunk_64.S	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
Makefile	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00
quirks.c	adding config files and moving kernel source	2017-08-20 19:28:05 -04:00