Support to handle /smp model option properly and boot the SMP rather than UNI kernel.
-rw-r--r-- 1914 bootmanager.spec
-rwxr-xr-x 2777 build.sh
drwxr-xr-x - documentation
drwxr-xr-x - dummy_bootloader
drwxr-xr-x - source
drwxr-xr-x - support-files