+[submodule "kernel/3.0.7-rt20"]
+ path = kernel/3.0.7-rt20
+ url = git@rtime.felk.cvut.cz:/shark/linux.git
+[submodule "kernel/3.4.33-rt47"]
+ path = kernel/3.4.33-rt47
+ url = git@rtime.felk.cvut.cz:/shark/linux.git
+[submodule "rtems/rtems-4.10"]
+ path = rtems/rtems-4.10
+ url = //git.rtems.org/rtems.git