[RTEMS Project] #2783: RaspberryPi BSP cannot be used with actual firmware

[RTEMS trac]

#2783: RaspberryPi BSP cannot be used with actual firmware
--------------------+------------------
 Reporter:  ppisa   |      Owner:
     Type:  defect  |     Status:  new
 Priority:  high    |  Milestone:  4.11
Component:  bsps    |    Version:  4.11
 Severity:  major   |   Keywords:
--------------------+------------------
 Raspberry Pi BSP on 4.11 branch is unusable when boot loader start RTEMS
 with cache enabled. Random/nondeterministic locks happen etc. Even without
 boot loader, actual firmware is changed to boot Linux kernel/RTEMS in
 hypervisor mode. If support is not included, then BSP start halts without
 any diagnostics.

--
Ticket URL: <http://devel.rtems.org/ticket/2783>
RTEMS Project <http://www.rtems.org/>
RTEMS Project