[RTEMS Project] #2343: [Patch] Fix Zynq SMP boot

[RTEMS trac]

#2343: [Patch] Fix Zynq SMP boot
----------------------------------------+---------------------
 Reporter:  jbrandmeyer                 |       Owner:
     Type:  defect                      |      Status:  new
 Priority:  high                        |   Milestone:  4.11.1
Component:  SMP                         |     Version:  4.10
 Severity:  normal                      |  Resolution:
 Keywords:  zynq, xilinx_zynq_zedboard  |
----------------------------------------+---------------------

Comment (by jbrandmeyer):

 Replying to [comment:4 jbrandmeyer]:
 > As a compromise, I can craft a patch that
 >
 > * enables only the last 4k page as device memory
 > * enables the remainder of the OCM devices as normal memory, sensitive
 to the BSP's definitions provided by ZYNQ_RAM_INT_{0,1}_ORIGIN and
 ZYNQ_RAM_INT_{0,1}_LENGTH.

 Never mind.  RTEMS's CP15 startup code only supports 1M pages right now.
 Using second-level page table entries would be a substantial change.

--
Ticket URL: <http://devel.rtems.org/ticket/2343#comment:6>
RTEMS Project <http://www.rtems.org/>
RTEMS Project