Want to run L4Re on Raspberry PI.

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Jun 17 00:08:27 CEST 2019


On Thu Jun 13, 2019 at 19:36:33 +0200, Paul Boddie wrote:
> On Thursday 13. June 2019 17.48.59 Adam Lackorzynski wrote:
> > On Wed Jun 12, 2019 at 00:34:02 +0200, Paul Boddie wrote:
> > > 
> > > Perhaps take a look at the following:
> > > 
> > > http://www.boddie.org.uk/downloads/armv6_hello.elf
> > > http://www.boddie.org.uk/downloads/armv6zk_hello.elf
> > 
> > I see a couple of floating point instructions and it would be
> > interesting to know whether one of those triggers it. Sorry for not
> > saying this earlier, but could you place a version with debugging
> > symbols (of bootstrap) online, i.e. one where I could see where
> > move_modules is.
> To do this, I ran the following command:
> make O=mybuild E=hello uimage BOOTSTRAP_NO_STRIP=1
> I had been looking in the general build configuration, but the "Strip binaries 
> on install" (BID_STRIP_PROGS) option evidently only applies to bundled 
> programs, not the bootstrap payload itself.
> The above binaries have now been replaced with ones that include symbol 
> information. Previously, I had been looking at the dump for boot_modules.o and 
> didn't notice anything particularly unusual, but I must admit that I don't 
> know the more exotic ARM instructions.

I do not see anything particular special either. The floating point
instructions are in the libc/*printf, so are not affected here.
I could only continue with a binary search style of looking where it
breaks, with "while(1);" as printfs do seems to change too much as you
already found out.


More information about the l4-hackers mailing list