Checking executables before running them in L4re/fiasco

Adam Lackorzynski adam at
Tue Sep 9 22:54:17 CEST 2014

On Mon Sep 08, 2014 at 07:13:14 +0000, Masti  Ramya Jayaram wrote:
> Yes, I explicitly made sure that there are no extra characters by
> setting the entire page of 4096 bytes to zero before copying over the
> new config. I am not sure what you mean by changed the target - I
> simply replace the config file. So I thought it picks up the size
> information from the MBI header.

With target I meant to memory location after potentially moving the
module around, i.e. the final location. At that point the exact size
should not really be an issue except when it would cross page
boundaries. Does it work if you for example at a couple of newlines at
the end of the file?

Adam                 adam at

More information about the l4-hackers mailing list