Hi all,
I was able to compile the camkes-arm-vm and run it on a TK1-SOM board. I wonder if it is possible to run a Linux distribution as the guest OS, such as Ubuntu, Fedora, etc.? If so how can we do that?
Best Regards -Daniel Wang
Daniel,
In theory yes. I don't know if there are any build scripts or instructions however. Note that you have to have an armel kernel. I think Ubuntu only ships armhf. Not sure about the others.
On Mar 5, 2018 12:02 PM, "Daniel Wang" danielwang.ksu@gmail.com wrote:
Hi all,
I was able to compile the camkes-arm-vm and run it on a TK1-SOM board. I wonder if it is possible to run a Linux distribution as the guest OS, such as Ubuntu, Fedora, etc.? If so how can we do that?
Best Regards -Daniel Wang
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel