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.
Are you using the compressed binary or the decompressed binary that buildroot produces?
- John
On Thu, Jun 15, 2017 at 10:23 AM, li94575 li94575@163.com 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
I'm sure I use the decompressed binary.
On 2017-06-15 23:25:47，"John Backes" john.backes@gmail.com wrote：
Are you using the compressed binary or the decompressed binary that buildroot produces?
- John
On Thu, Jun 15, 2017 at 10:23 AM, li94575 li94575@163.com 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Okay.
I have made that same mistake and had similar symptoms as what you are describing. Just to be clear you should use the Image found in:
buildroot/output/build/linux-custom/arch/arm/boot/Image
Are you sure that you are compiling the kernel to boot from a ramdisk? I think when I did this I may have had to do a make menuconfig in the linux source directory to set this configuration. I was only ever able to get this to work by setting the option to boot from a ramdisk appended to the binary. I've attached my defconfigs from when I last did this.
- John
On Fri, Jun 16, 2017 at 8:19 AM, li94575 li94575@163.com wrote:
I'm sure I use the decompressed binary.
On 2017-06-15 23:25:47，"John Backes" john.backes@gmail.com wrote：
Are you using the compressed binary or the decompressed binary that buildroot produces?
- John
On Thu, Jun 15, 2017 at 10:23 AM, li94575 li94575@163.com 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Thank you, John. Using the config file you provided, I recompile the entire project. And then Linux can run well.
At 2017-06-16 21:32:09, "John Backes" john.backes@gmail.com wrote:
Okay.
I have made that same mistake and had similar symptoms as what you are describing. Just to be clear you should use the Image found in:
buildroot/output/build/linux-custom/arch/arm/boot/Image
Are you sure that you are compiling the kernel to boot from a ramdisk? I think when I did this I may have had to do a make menuconfig in the linux source directory to set this configuration. I was only ever able to get this to work by setting the option to boot from a ramdisk appended to the binary. I've attached my defconfigs from when I last did this.
- John
On Fri, Jun 16, 2017 at 8:19 AM, li94575 li94575@163.com wrote:
I'm sure I use the decompressed binary.
On 2017-06-15 23:25:47，"John Backes" john.backes@gmail.com wrote：
Are you using the compressed binary or the decompressed binary that buildroot produces?
- John
On Thu, Jun 15, 2017 at 10:23 AM, li94575 li94575@163.com 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-
John Backes -
li94575