L4Re + ARM

[Alexis Fajardo Moya]

On Jueves 03 Abril 2014 15:03:41 Adam Lackorzynski escribió:
> Thanks for the analysis. This is strange because, for example, one of
> the parameters is a stack variable and it gets overwritten. However, I
> think the copying should be quite safe as there are couple of checks in
> there for that reason. As I see you're using gcc-4.6. Would you mind
> changing to a different one, such as Linaro's 4.8 version? The 4.6
> series seem to contain some surprises sometimes.
> 
> http://releases.linaro.org/14.03/components/toolchain/binaries/gcc-linaro-a
> rm-linux-gnueabihf-4.8-2014.03_linux.tar.xz (from
> http://www.linaro.org/downloads/)

It works!!!

Thank you for the tips!!

Best regards, 
			Alexis.