hi i am from china, i love Genode, I use Genode/Nova for running my ISO(it is an OS similar wiht vxworks)on seoul I read the maillist,and I want to using run/seoul-disc to do this ,but it failed,is there relevant documents to illustrate how to use? i do not know how to do it Forgive my English is poor Thank