Use OSELAS toolchain to for kernel builds
authorMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 21 Nov 2013 22:31:28 +0000 (23:31 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 21 Nov 2013 23:34:37 +0000 (00:34 +0100)
commit54641053afac097bcfec67e7f28e40723b35565c
treeedd3640c326cfd7e064ed0a1fa924dd2a58b34ea
parentc9ff617005ae099eda88ce1ae0f9672165f603c5
Use OSELAS toolchain to for kernel builds
kernel/build/shark/GNUmakefile