guest0:linux + guest1:bmguest.bin, guest context includes sctlr, sp_usr. uart/sp804 base addresses at bmguest: 0x1c090000 and 0x1c110000
Merge pull request #66 from simonkim/v1-linux

guest0:linux + guest1:bmguest.bin, guest context includes sctlr, sp_usr
rtsm linux: add minimal linux configuration with submodule