Are you using the compressed binary or the decompressed binary that
buildroot produces?

- John

On Thu, Jun 15, 2017 at 10:23 AM, li94575 <[email protected]> wrote:

> Hi,
> I use  Buildroot 2016.08.1 with the config "buildroot_tk1_initrd_defconfig"
> to compile linux-tegra(https://github.com/SEL4PROJ/linux-tegra/tree/sel4),
> everything goes well. But the linux binary cannot output any logs,
> camkes-arm-vm stops at “Starting VM”. Can anyone tells me where might be
> wrong?  I have tried using cross-compiler arm-none-linux-gnueabi-(2014.05)
> to compile linux-tegra, and that linux binary can work.
>
>
>
>
> _______________________________________________
> Devel mailing list
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to