OKL4 Community Forum

This forum is an archive for the mailing list: developer@okl4.org (more options) Messages posted here will be sent to this mailing list.
Interact with the OKL4 Developers Community.
Advanced
Search
1 2 3 4 ... 19
Topics (663)
  Replies
Last Post
Views
Help regarding the OKL4 port to the Qemu Emulator by Amrit Acharya
star 3
by Nicholas FitzRoy-Dal...
Cell isolation by XavierL
star 0
by XavierL
How do I get windows mobile virtualized onto OKL 4 so I can run it on other devices?? by qjsmartphone
star 1
by Josh Matthews
v2 driver with multiple memory ranges in okl4 3.0 by Gabi Voiculescu
star 1
by Gabi Voiculescu
timer and vtimers by Sergio Ruocco
star 1
by Robert Wetzel-2
build system cannot find defs of L4_Notify() and L4_WaitNotify() by Sergio Ruocco
star 1
by Sergio Ruocco
What's the Wiki registration for? by Martin Christian
star 0
by Martin Christian
OKL4/wombat on MacBook/MacBook Pro by Peter Nguyen
star 0
by Peter Nguyen
Re: adding a new library in okl4 fails, build script ignores it by Gabi Voiculescu
star 1
by Gabi Voiculescu
How to set & use vtimer in OKL4 3.0 ? by YBms
star 0
by YBms
T-shirts by XavierL
star 0
by XavierL
Steps in running L4 natively on ia32 by Peter Nguyen-2
star 0
by Peter Nguyen-2
Separate console for OKL4 and OKLinux by XavierL
star 0
by XavierL
OKL4 Library by XavierL
star 1
by Josh Matthews
OKL4 structure questions by XavierL
star 1
by Gernot Heiser
Okl4_notify_wait() use by XavierL
star 2
by XavierL
Announcement: Genode OS Framework 9.05 on OKL4 by Norman Feske
star 1
by Tim Heath
[okl4-developer ] Problem with the configuration of a shared memory segment.... by Hugues Balp
star 1
by Hannes Payer
what could cause the pagefault in OKL4 by Guanghui, Cheng
star 0
by Guanghui, Cheng
OKL4 3.0 for HTC Dream ("Google G1") and the Android emulator by Nicholas FitzRoy-Dal...
star 8
by Nicholas FitzRoy-Dal...
Porting application from OKL4 v2.1 to v3 by XavierL
star 0
by XavierL
TinyOS on top of okl4 by Dennis Gessner
star 5
by Guanghui, Cheng
scanf in OKL4 3.0 by lace
star 0
by lace
A question about OKLinux by Guanghui, Cheng
star 0
by Guanghui, Cheng
Root server and root task by XavierL
star 5
by XavierL
why there are so many warnings? by fang zhengshu
star 0
by fang zhengshu
unable to find package... by hp1010
star 0
by hp1010
IPC transfer message question. by Suresh Iyer
star 3
by Suresh Iyer-2
source code for ID mouse driver by jdomi
star 3
by jdomi
Changelog by XavierL
star 0
by XavierL
Re: Report problem by Rob McCammon
star 2
by Charles Basile ROUQU...
ARE YOU INTERESED FOR GULF JOB? by gulfjob
star 0
by gulfjob
a question about struct :okl4_env_segments by Guanghui, Cheng
star 0
by Guanghui, Cheng
Cross-cell-demo problem by XavierL
star 3
by Guanghui, Cheng
What does the "STRING_major" mean? by Guanghui, Cheng
star 4
by Guanghui, Cheng
1 2 3 4 ... 19
Feeds | Created by Josh Matthews Josh Matthews |