Re: Want to run L4Re on Raspberry PI.

On Wednesday 26. June 2019 18.32.18 Paul Boddie wrote:
> 
> This shouldn't be different from what Buildroot seems to set up (in
> configs/raspberrypi0_defconfig):
> 
> BR2_arm1176jzf_s=y
> BR2_ARM_EABIHF=y

Also...

BR2_ARM_FPU_VFPV2=y
BR2_GCC_TARGET_FPU="vfp"
BR2_GCC_TARGET_FLOAT_ABI="hard"

> I did wonder if Crosstool-NG might drop the floating point support and
> generate soft-float code in its toolchain output, but I guess it doesn't.

I have since tried using a soft-float toolchain:

BR2_arm1176jzf_s=y
BR2_ARM_EABI=y
# BR2_ARM_EABIHF is not set
BR2_ARM_SOFT_FLOAT=y
# BR2_ARM_FPU_VFPV2 is not set
BR2_SOFT_FLOAT=y
BR2_GCC_TARGET_FLOAT_ABI="soft"

However, the same fundamental problem occurs, with the bootstrap payload 
crashing and seemingly restarting over and over again.

Paul