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" <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
