On Dec 24, 2013, at 3:35 AM, Jean-Yves Moulin <jym%baaz.fr@localhost> wrote: > http://cvsweb.netbsd.org/bsdweb.cgi/src/sys/arch/arm/arm32/locore.S.diff?r1=1.31&r2=1.32&f=h can you nm your kernel and tell me the value of _edata and _end? I'm wondering if they are double aligned or not.