removed no neded files from K1OM kernel
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 5 Dec 2014 08:55:13 +0000 (09:55 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 5 Dec 2014 08:55:13 +0000 (09:55 +0100)
commit06c2f7b7fd4c7c322d00875adc03e4636a6ad0af
treea392f726b925e2c24e4713f445e2ef4d90579e5e
parente35ffd0b81d1599f9eb0367fd637c09fb988b8c6
removed no neded files from K1OM kernel
kernel/Hakefile