对.lds连接脚本文件的分析

SECTIONS {
...
secname start BLOCK(align) (NOLOAD) : AT ( ldadr )
  { contents } >region :phdr =fill
...
}

OUTPUT_FORMAT("elf32-littlearm", "elf32-littlearm", "elf32-littlearm")
OUTPUT_ARCH(arm)
ENTRY(XLOADER_ENTRY)
SECTIONS
{
    . = 0x00000000;
    . = ALIGN(4);
    .text :
    {
      ./obj/init.o (.text)
      *(.text)
    }
 
    .rodata . :
        {
                *(.rodata)
        }
 
        . = ALIGN(4);
 
     
    .data : { *(.data) }
    . = ALIGN(4);
    .got : { *(.got) }
      
    . = ALIGN(4);
    __bss_start = .;
    .bss : { *(.bss) }
    _end = .;
}

下面，我们对这一段代码逐句进行分析。

OUTPUT_FORMAT("elf32-littlearm", "elf32-littlearm", "elf32-littlearm")
在GNU的文档中，是这么定义的：
OUTPUT_FORMAT(default, big, little)，在链接的时候，如果使用了-EB的命令行参数，则使用这里的big参数指定的字节序，如果使用了-EL的命令行参数，则使用这里的little参数指定的字节序，如果没有使用任何命令行参数，则使用这里的default参数指定的字节序。
由xloader.lds中的定义可见，不管在链接的时候使用了何种命令行参数，输出的目标文件都是使用elf32-littlearm方式的字节序。

OUTPUT_ARCH(arm)
在GNU的文档中，是这么定义的：
OUTPUT_ARCH(bfdarch)，也就是指定了目标的体系结构，在这里，SpearPlus内部使用的处理器核是arm926ejs的，因此体系结构也就是arm。

ENTRY(XLOADER_ENTRY)
在GNU的文档中，是这么定义的：
ENTRY(symbol)
There are several ways to set the entry point. The linker will set the entry point by trying each of the following methods in order, and stopping when one of them succeeds:
    * the `-e' entry command-line option;
    * the ENTRY(symbol) command in a linker script;
    * the value of the symbol start, if defined;
    * the address of the first byte of the `.text' section, if present;
    * The address 0.
也就是说，ENTRY(XLOADER_ENTRY)定义了整个程序的入口处，也就是在标号XLOADER_ENTRY处。整个程序将从这里开始运行。

接下来的部分，是对整个输出目标文件中各个段的存储位置的定义。
在GNU的文档中，是这么定义的：
SECTIONS
     {
       sections-command
       sections-command
       ...
     }
对于其中的每一个sections-command，其完整的定义如下：
The full description of an output section looks like this:

     section [address] [(type)] :
       [AT(lma)] [ALIGN(section_align)] [SUBALIGN(subsection_align)]
       {
         output-section-command
         output-section-command
         ...
       } [>region] [AT>lma_region] [:phdr :phdr ...] [=fillexp]

Most output sections do not use most of the optional section attributes.
The whitespace around section is required, so that the section name is unambiguous. The colon and the curly braces are also required. The line breaks and other white space are optional.
下面来看看xloader.lds中SECTIONS的定义：
SECTIONS
{
    /* location counter设置为0x00000000，其实由于在Makefile中的
     * 链接选项中使用了-Ttext $(TEXT_BASE)，而TEXT_BASE=0xD2800B00
     * 因此，此处的设置其实是没有作用的，代码运行的时候将运行在TEXT_BASE地址
     */
    . = 0x00000000;
    . = ALIGN(4); /* 四字节对齐 */
    /* 将所有输入目标文件中的.text段即代码段放在此处，并且，输出目标文件中的.text段中的
     * 开头部分存放init.o的.text段。也就是运行的第一条代码，也就是XLOADER_ENTRY
     * 标号对应的代码就在init.o当中
     */
    .text :
    {
      ./obj/init.o (.text)
      *(.text)
    }
 
    /* 紧接着.text段，存放所有输入目标文件中的.rodata段，也就是
     * 只读数据段。此处注意.rodata后跟着的.，这个.表示当前location counter，
     * 对应于上述完整描述sections中的[address]
     * 此处表示.rodata段紧接着.text段存放，而不用任何对齐
     */
    .rodata . :
        {
                *(.rodata)
        }
 
        . = ALIGN(4); /* 四字节对齐 */
 
     
    /* 将所有输入目标文件中的.data读写数据段存储在此处
     * 所有全局手动初始化的变量存储在该段中，并且在输出目标文件中已经分配了存储空间
     */
    .data : { *(.data) }
    . = ALIGN(4); /* 四字节对齐 */
    /* .got段是GLOBAL OFFSET TABLE，具体的作用还没有搞清楚 */
    .got : { *(.got) }
      
    . = ALIGN(4); /* 四字节对齐 */
    /* .bss段的开始，所有全局未初始化变量的大小等信息存储在该段中
     * 但是在输出的目标文件中并不为这些变量分配存储空间，
     * 而是交给操作系统在初始化的时候分配内存，然后紧跟在.data段后面并初始化为零
     * 另外，此处还定义了两个标号分别表示.bss的开始和结束（也是整个目标文件的结束）
     */
    __bss_start = .;
    .bss : { *(.bss) }
    _end = .;
}

从这里，我们能够得到的最关键的信息是：整个程序的入口在标号XLOADER_ENTRY处，并且该标号定义在init.o目标文件中，因为整个最终的链接之后的目标文件中，位于最开头的就是init.o目标文件。
于是，我们可以根据这个线索来继续追踪整个的引导过程了。