hi<br>i am from china, i love Genode, I use Genode/Nova for running my&nbsp; ISO£šit is an OS similar wiht vxworks£©on seoul<br>I read the maillist£¬and I want to using run/seoul-disc to do this £¬but it failed£¬is&nbsp; there&nbsp; relevant documents to illustrate how to use£¿ i do not know how to do it<br>Forgive my English is poor<br>Thank <br>