Re: [seL4] Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1"

Hi, I think your stack version might need updating. Can you try s'tack upgrade --git'? Cheers, Anna. From: Devel on behalf of tj5527 Sent: Thursday, 6 July 2017 6:43 AM To: devel@sel4.systems Subject:

Re: [seL4] Can I run Android on camkes-arm-vm with tk1 board?

Hi, I cannot think of any reasons why Linux3.10 wouldn't also work other than making similar modifications that we made to Linux4.3. The list of modifications that we made can be seen here: https://github.com/SEL4PROJ/linux-tegra/commits/sel4 If you wanted to try and add support for that

[seL4] Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1"

Another problem when making sel4. The make program complains Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1". [parse-capDL] building... make: Entering directory '/path/to/sel4/projects/capdl/capDL-tool' stack setup stack will use a locally installed GHC For

Re: [seL4] Can I run Android on camkes-arm-vm with tk1 board?

Haha, I can be sure that error is due to the lack of FPU supporting. I have updated to the latest version of camkes-arm-vm, and that error is has gone. But this version of Linux doesn't seem to be able to start Android. The Android 5.0 provided by Nvidia's official community for tk1 board is