Merge disconnected operations branch.
-rw-r--r-- 1815 bootmanager.spec
-rwxr-xr-x 2632 build.sh
drwxr-xr-x - documentation
drwxr-xr-x - dummy_bootloader
drwxr-xr-x - source
drwxr-xr-x - support-files