armv5: make cpu driver run again.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 13:13:36 +0000 (15:13 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 13:30:05 +0000 (15:30 +0200)
commit299f7984b2b01d3df8b78dfd082aa5c92c20941f
tree0d157761876f049afad9a2ea0afa2fb7025eed29
parentecb15f6785d3e4a7a9ba220ef92a95f3506a1ed7
armv5: make cpu driver run again.

Note: this is not a real fix, it does not implement the switch cases in
paging_generic.c:paging_tlb_flush_range() correctly.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/target/arm/barrelfish_kpi/paging_arm_v5.h
kernel/paging_generic.c