Removed ARM11MP - unsupported and non-functional.
authorDavid Cock <david.cock@inf.ethz.ch>
Fri, 28 Aug 2015 15:18:48 +0000 (17:18 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Fri, 28 Aug 2015 15:18:48 +0000 (17:18 +0200)
commitf2806ab771c79816eb5a7b6deb4bbbde0ce38c25
tree313572e4957001c50f4ce471d1617c44f6047368
parentd74b769271369bbc3582bbe1ddc45d0fdc7ad376
Removed ARM11MP - unsupported and non-functional.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/ARM11MP.hs [deleted file]
hake/Args.hs
hake/RuleDefs.hs
hake/hake.sh
hake/notes.txt
hake/symbolic_targets.mk
kernel/Hakefile
platforms/Hakefile