Merge branch '4.3' of dhozac@git.planet-lab.org:/git/bootmanager into 4.3
-rw-r--r-- 925 Makefile
-rw-r--r-- 7834 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