/dev might be present but not populated. fixes the boot issue on f8/f12.
-rw-r--r-- 925 Makefile
-rw-r--r-- 8219 bootmanager.spec
-rwxr-xr-x 3956 build.sh
drwxr-xr-x - documentation
drwxr-xr-x - dummy_bootloader
drwxr-xr-x - source
drwxr-xr-x - support-files