docs icon indicating copy to clipboard operation
docs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add instructions for creating a guest linux

Open pingerino opened this issue 6 years ago • 5 comments
trafficstars

This PR is ongoing as I do this. I will update as I go. Please let me know if you see something totally wrong!

pingerino avatar Aug 05 '19 07:08 pingerino

@pingerino it looks like there are docs for this now on https://docs.sel4.systems/Tutorials/camkes-vm-linux.html

Can the PR be closed?

lsf37 avatar Nov 24 '20 05:11 lsf37

@lsf37 this was specifically for creating the guest linux image. I can't see that in the tutorial?

pingerino avatar Nov 24 '20 22:11 pingerino

@lsf37 this was specifically for creating the guest linux image. I can't see that in the tutorial?

Right, I confused the guest image with the VMM. Sorry about the noise.

lsf37 avatar Nov 25 '20 02:11 lsf37

@sylGauthier Can you please add to this PR? I think it fits with the current work you're doing :)

oliver-wm avatar Mar 01 '21 05:03 oliver-wm

The file has been moved to projects/camkes-arm-vm/index.md, but the content later went to https://github.com/seL4/camkes-arm-vm, which is deprecated by now and https://github.com/seL4/camkes-vm/blob/master/README.md seem a potential new place for such a description one day.

axel-h avatar Mar 23 '22 02:03 axel-h