genode/repos/base-hw
Stefan Kalkowski 04d8c859d8 hw: enable branch predictor on rpi
* Z-bit was never enabled for rpi1
* Write buffer, and TCM bits are deprecated in this processor generation
  so do not use them

Ref #3247
2020-06-22 09:39:40 +02:00
..
doc Retire OMAP4 support 2020-04-17 12:39:32 +02:00
etc kernel: differentiate board-specific components 2019-05-27 14:46:52 +02:00
include vmm: unify armv7/v8 virtualization 2020-04-17 12:52:02 +02:00
lib/mk Remove Rpc_entrypoint::Native_context 2020-04-21 16:50:37 +02:00
ports Update Muen port 2019-05-27 14:46:53 +02:00
recipes depot: update recipe hashes 2020-05-27 11:56:47 +02:00
run base-hw: fix run scripts 2020-02-20 12:11:21 +01:00
src hw: enable branch predictor on rpi 2020-06-22 09:39:40 +02:00