New location for GRUB2 config on UEFI (#851220)
tree43df897987034ca5fd1e4a7d7e24c5fa438fa4b7
-rw-r--r-- 3343 API
-rw-r--r-- 80 AUTHORS
-rw-r--r-- 17991 COPYING
-rw-r--r-- 844 HACKING
-rw-r--r-- 2452 Makefile
-rw-r--r-- 6004 README
drwxr-xr-x - config
drwxr-xr-x - docs
drwxr-xr-x - imgcreate
drwxr-xr-x - tools