Hi,
I built a TK1 ARM VMM image from the source code
SEL4PROJ/camkes-vm-manifest in GitHub. I have some quesitons about the
tk1_vmlinux.
Question 1: If I use the original tk1_vm_defconfig, the eth0 does not work
in vm. Is the tk1_vm_linux in default not supposed to access Ethernet card?
Hpw do
Hello,
I am trying to integrate TI Keystone 2 platform to seL4.
What I have done so far is basically an initial port of the
Kernel/libs/elfloader/Platform components
and introducing a new keystone defconfig.
Relevant config parts about the setup:
CONFIG_ARCH_ARM_V7A=y
CONFIG_ARCH_ARM=y
Stephen,
Thanks, your suggestion works...
thanks
Peng
On Wed, Jan 11, 2017 at 9:51 PM, wrote:
> Hi Peng,
>
>
> It looks like the arm toolchain in our instructions (arm-none-eabi) is
> different from the one in the build configs in the camkes-arm-vm project.
>