Hi Adam,<div><br></div><div>Yes, I have selected &quot;Use ExtGic&quot;.</div><div><br></div><div>The boot message is the same for both &quot;Standard mode&quot; and &quot; TrustZone normal size&quot;</div><div><br></div><div>

### Cut start ###</div><div><div>Hello from Startup::stage2</div><div>Number of IRQs available at this GIC: 160</div><div>FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl</div><div>Watchdog initialized</div>

<div>SERIAL ESC: allocated IRQ 85 for serial uart</div><div>Not using serial hack in slow timer handler.</div><div>Welcome to Fiasco.OC (arm)!</div><div>L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden</div><div>Rev: r54 compiled with gcc 4.5.2 for Samsung Exynos    []</div>

<div>Build: #60 18:37:23 CST 2013</div><div><br></div><div>Timer for CPU0 is at IRQ 28</div><div>Calibrating timer loop... </div></div><div>### End ###</div><div><br></div><div>Here is &quot;TrustZone secure side&quot;</div>

<div>### Cut start ###</div><div><div>Hello from Startup::stage2                                                                                                                                                                                                                   </div>

<div>Number of IRQs available at this GIC: 160                                                                                                                                                                                                    </div>

<div>GIC: Switching IRQ 32 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 33 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 34 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 35 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 36 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 37 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 38 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 39 to secure                                                                                                                                                                                                              </div>

<div>GIC: Switching IRQ 40 to secure</div><div>GIC: Switching IRQ 41 to secure</div><div>GIC: Switching IRQ 42 to secure</div><div>GIC: Switching IRQ 43 to secure</div><div>GIC: Switching IRQ 44 to secure</div><div>GIC: Switching IRQ 45 to secure</div>

<div>GIC: Switching IRQ 46 to secure</div><div>GIC: Switching IRQ 47 to secure</div><div>GIC: Switching IRQ 139 to secure</div><div>GIC: Switching IRQ 140 to secure</div><div>GIC: Switching IRQ 80 to secure</div><div>GIC: Switching IRQ 74 to secure</div>

<div>GIC: Switching IRQ 48 to secure</div><div>GIC: Switching IRQ 49 to secure</div><div>GIC: Switching IRQ 50 to secure</div><div>GIC: Switching IRQ 51 to secure</div><div>GIC: Switching IRQ 52 to secure</div><div>GIC: Switching IRQ 53 to secure</div>

<div>GIC: Switching IRQ 54 to secure</div><div>GIC: Switching IRQ 55 to secure</div><div>GIC: Switching IRQ 56 to secure</div><div>GIC: Switching IRQ 57 to secure</div><div>GIC: Switching IRQ 58 to secure</div><div>GIC: Switching IRQ 59 to secure</div>

<div>GIC: Switching IRQ 60 to secure</div><div>GIC: Switching IRQ 61 to secure</div><div>GIC: Switching IRQ 62 to secure</div><div>GIC: Switching IRQ 63 to secure</div><div>GIC: Switching IRQ 64 to secure</div><div>GIC: Switching IRQ 79 to secure</div>

<div>GIC: Switching IRQ 78 to secure</div></div><div>### End ###</div><div>It stop here.</div><div><br></div><div>Any idea?</div><div><br></div><div><div><div>By the way, the bootstrap issue is fixed now.</div><div>Thanks!</div>

<div><br></div><div>Chao-Jui</div></div>
<br><br><div class="gmail_quote">2013/6/6 Adam Lackorzynski <span dir="ltr">&lt;<a href="mailto:adam@os.inf.tu-dresden.de" target="_blank">adam@os.inf.tu-dresden.de</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hi,<br>
<div class="im"><br>
On Wed Jun 05, 2013 at 17:23:30 +0800, Chao-Jui Chang wrote:<br>
&gt; After I change the memory to 1023, it runs but stops at<br>
&gt; ###<br>
&gt; Timer for CPU0 is at IRQ 28<br>
&gt; Calibrating timer loop...<br>
<br>
</div>Stopping there typically means that the timer isn&#39;t ticking.<br>
Looking at your output below, I wondering if you really have selected<br>
extgic mode, as the UART irq should be different in that case. On the<br>
other side it should not make a difference.<br>
<div class="im"><br>
&gt; By the way, how to turn on the module loading information during booting?<br>
<br>
</div>Probably wrong UART selected in bootstrap. Check<br>
l4/pkg/bootstrap/server/src/platform/exynos.cc and set uart_nr to 1.<br>
<div class="im HOEnZb"><br>
&gt; The latest snapshot and svn only prints message starting from &quot;Hello from<br>
&gt; Startup::stage2&quot;<br>
&gt; ### Start cur ###<br>
&gt; Exynos4412 # run fiasco<br>
&gt; Partition1: Start Address(0x1000), Size(0x32000)<br>
&gt; reading bootstrap.raw<br>
&gt;<br>
&gt; 803080 bytes read<br>
&gt; Boot with zImage<br>
&gt;<br>
&gt; Starting kernel ...<br>
&gt;<br>
&gt; Hello from Startup::stage2<br>
&gt; Number of IRQs available at this GIC: 160<br>
&gt; FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:<br>
&gt; dbl/sngl<br>
&gt; Watchdog initialized<br>
&gt; SERIAL ESC: allocated IRQ 305 for serial uart<br>
&gt; Not using serial hack in slow timer handler.<br>
&gt; Welcome to Fiasco.OC (arm)!<br>
<br>
<br>
</div><div class="HOEnZb"><div class="h5">Adam<br>
--<br>
Adam                 <a href="mailto:adam@os.inf.tu-dresden.de">adam@os.inf.tu-dresden.de</a><br>
  Lackorzynski         <a href="http://os.inf.tu-dresden.de/~adam/" target="_blank">http://os.inf.tu-dresden.de/~adam/</a><br>
</div></div></blockquote></div><br></div>