Hi Oak,
I tried your code. It works for me except that it seems that you are using old
versions of seL4 kernel and libraries. Attached is the code I'm using, I merely
add some initialization code to your code. It should work on the latest version
of seL4 kernel and related libraries.
If the
Thanks Hesham. I also had an issue when I compiled for the Jetson Tegra K1:
[CC] kernel_final.s
In file included from
/home/ajgacek/phase3-workspace/camkes/kernel/include/arch/arm/arch/32/mode/machine.h:19:0,
from
Hi Alex,
> Regardless, seL4 does not support it.
ignore my last mail - just saw you pointed to the fact that sel4
doesn't support VFT.
But I am still wondering about cross compiling the project -
Is it enough to set CONFIG_KERNEL_CFLAGS and CONFIG_USER_CFLAGS ?
> The appropriate args should be
Hi Alex,
I've checked how a working Linux image looks like and it seems it is
compiled with
$ arm-cortexa15-linux-gnueabihf-readelf -A -n vmlinux
..
Tag_CPU_name: "7-A"
Tag_CPU_arch: v7
Tag_CPU_arch_profile: Application
Tag_ARM_ISA_use: Yes
Tag_THUMB_ISA_use: Thumb-2
Tag_FP_arch: