查看SylixOS入门指南的源代码

===调试真机===

----

:如果您需要使用硬件调试器（如J-Link edu)调试真实的mini2440开发板。

:先使用JTAG连接线和JTAG转接板连接J-Link到mini2440开发板的JTAG接口，然后打开J-Link GDB Server软件。

:目标设备Target device选择Samsung公司的S3C2440A芯片，并选择小端Little endian。

:目标接口Target interface选择JTAG。

:速度Speed选择自动选择Auto selection，如下图：

[[文件:sylixide_jlink.png]]

:最后，点击OK按钮，J-Link GDB Server将开始工作：

[[文件:sylixide_jlinkgdbserver.png]]

:将bspmini2440/S3C2440.gdbinit文件的内容复制到bspmini2440 Default调试实例的Commands选项卡的Initalize commands内，如下图：

[[文件:Sylixide_debugconfigjlink.png]]

:bspmini2440/S3C2440.gdbinit文件的内容如下：

 #connect to J-Link GDB Server
 target remote localhost:2331
 
 #reset target
 monitor reset
 
 #select endian
 monitor endian little
 
 #initialize memory controler
 monitor long 0x53000000 = 0x00000000   
 monitor long 0x4a000008 = 0xFFFFFFFF   
 monitor long 0x4a00001c = 0x00007FFF   
 monitor long 0x4c000000 = 0x00FFFFFF   
 monitor long 0x4c000014 = 0x00000005   
 monitor long 0x4c000004 = 0x0007F021   
 monitor long 0x48000000 = 0x12111110   
 monitor long 0x48000004 = 0x00000700   
 monitor long 0x48000008 = 0x00000700   
 monitor long 0x4800000c = 0x00000700   
 monitor long 0x48000010 = 0x00000700   
 monitor long 0x48000014 = 0x00000700   
 monitor long 0x48000018 = 0x00000700   
 monitor long 0x4800001c = 0x00018005   
 monitor long 0x48000020 = 0x00018005   
 monitor long 0x48000024 = 0x009804EC   
 monitor long 0x48000028 = 0x000000B2   
 monitor long 0x4800002c = 0x00000030   
 monitor long 0x48000030 = 0x00000030
 
 #wait for moment
 monitor sleep 20
 
 #load the debug image
 load
 
 #set cpu to svc mode(on cpu reset)
 monitor reg cpsr = 0xd3
 
 #debug in ram 
 monitor reg pc   = 0x30000000
 
 #debug begin

:最后，点击Debug按钮开始调试。