How to run user program

"Ya-Jin Zhou" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hi everyone:
    I compiled the pistachio(nicta version) for sb1 platform and run it successfully using cfe. But I do not know how to write or run some user program. For example how to link the kernel and the user program together? Are therer any tourist? Thank you very much.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.