]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/arm/cpu-arm.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / cpu-arm.cpp
index d50a3a491fa96a83e13400718d9f2a0392f2dcee..a6b5b0dc441f606e9ff42340c908567ab22bb216 100644 (file)
@@ -137,7 +137,7 @@ public:
 
     Cp15_c1_generic         = Cp15_c1_mmu
                               | (Config::Cp15_c1_use_alignment_check ?  Cp15_c1_alignment_check : 0)
-                             //| Cp15_c1_branch_predict
+                             | Cp15_c1_branch_predict
                              | Cp15_c1_high_vector
                              | (Config::Cp15_c1_use_a9_swp_enable ?  Cp15_c1_sw : 0),