Hi All,
Today, I am investigating the use of Genode on Muen as that sounds like a very interesting project in the separations kernel arena.
With this in mind, I have started by looking at the:
genode/repos/base-hw/doc/x86_64_muen.txt
In that document, it says to start by getting the muen repository
git clone http://git.codelabs.ch/git/muen.git
I started that seem to have gotten most of the repository but the muen.git calls for another git clone:
------------------------------------------------- lonnie@...355...:~$ git clone --recursive http://git.codelabs.ch/git/muen.git Cloning into 'muen'... Checking connectivity... done. Submodule 'components/linux/src' (http://git.codelabs.ch/git/muen/linux.git) registered for path 'components/linux/src' Cloning into 'components/linux/src'... ---------------------------------------------------
this is where it seems to hang.
I am wondering if anyone else has run across this and, if so, then what was your solution?
I want to play around with muen a bit, but would wonder if it might, eventually be possible to get virtualbox/genode/muen working since from what I have read on muen, that it still needs a bit of work to support other VM's beyond the simple xv6 VM which apparently was modified to make work (if I understand what was said in the Auguse 29, 2013 muen-report pdf document.
Any ideas on this?
Kind Regards and have a great day, Lonnie
Hi Lonnie,
Since the download issue was resolved on the muen-dev mailing list [1], I will answer the remaining question of running Genode/Virtualbox on Muen.
On 10/06/2015 08:12 PM, Lonnie Cumberland wrote:
I want to play around with muen a bit, but would wonder if it might, eventually be possible to get virtualbox/genode/muen working since from what I have read on muen, that it still needs a bit of work to support other VM's beyond the simple xv6 VM which apparently was modified to make work (if I understand what was said in the Auguse 29, 2013 muen-report pdf document.
As stated in the exchange on the muen-dev list, the capabilities of Muen have significantly increased in the past ~2 years, e.g. we support Linux VMs and of course Genode/base-hw (see also [2][3]). An overview of the main features is given on the project website [4].
Any ideas on this?
Regarding the Virtualbox support: we are actually working on this as a side project. While we are hopeful to get Genode with Virtualbox running on top of Muen, I cannot give you an estimate when this line of work will be concluded.
Cheers, Adrian
[1] - https://groups.google.com/forum/#!topic/muen-dev/rL8SjFUeP-w [2] - https://groups.google.com/forum/#!topic/muen-dev/TFPsXHfV2zU [3] - https://groups.google.com/forum/#!topic/muen-dev/_HM6w9toM-Y [4] - http://muen.codelabs.ch/#_features
-
Adrian-Ken Rueegsegger -
Lonnie Cumberland