[seL4] quesitons about TK1 VMM

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

[seL4] ARM LPAE?

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

Re: [seL4] question about SEL4PROJ /camkes-arm-vm-manifest

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. >