Add kernel sources, configs and Makefiles
authorMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 26 Oct 2010 15:46:44 +0000 (17:46 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 26 Oct 2010 15:46:44 +0000 (17:46 +0200)
commitf8ef222ff866f05a90d59d6ab5e4cc1c42e2bfb3
tree440fd06e7fa1ef176962032a094f245abfdcd150
parent6f9fa353ae9ad4f9beaa0ab1674413804ffc770b
Add kernel sources, configs and Makefiles

Kernel sources are added as submodules. Kernel .config and GNUmakefile
allows to reproduce exactly the same kernel as I use for benchmarks.
.gitmodules
kernel/shark/2.6.33 [new submodule]
kernel/shark/2.6.33-rt [new submodule]
kernel/shark/build/2.6.33-rt/.config [new file with mode: 0644]
kernel/shark/build/2.6.33-rt/GNUmakefile [new symlink]
kernel/shark/build/GNUmakefile [new file with mode: 0644]