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@spartan:~$ 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
------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to