How to run user program

"Zhou Ya Jin" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <002101c6d616$614f4f50$7b01a8c0@killbill>
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.