T24: remove remaining SCC code Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Removed ARM11MP - unsupported and non-functional. Signed-off-by: David Cock <david.cock@inf.ethz.ch>
Initial version of public stable barrelfish repository.