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 5 ... 21
Topics (718)
  Replies
Last Post
Views
kernel and application debugging by Matthew Willis-2
star 2
by Josh Matthews
OKL4 and timer service. by Jean-Christophe DUBO...
star 8
by Josh Matthews
spatial and temporal partitioning control? by Jean-Christophe DUBO...
star 5
by Sergio Ruocco
SDK Tutorial: Linux build problem by Bob Sutherland
star 1
by Bob Sutherland
OKL4 3.0 - Porting to new Soc by Kumar Sanghvi
star 5
by Damien Arcuset
About porting my platform into OKL4, thanks~ by Kefeng li
star 0
by Kefeng li
Sleep function by XavierL
star 4
by Gabi Voiculescu
help allowing platformcontrol call access in iguana example by Gabi Voiculescu
star 0
by Gabi Voiculescu
Fw: Re: Memory mapping in the OKL4 by Gabi Voiculescu
star 4
by Gabi Voiculescu
Memory mapping in the OKL4 by Guanghui, Cheng
star 0
by Guanghui, Cheng
Memory mapping in the OKL4 by Guanghui, Cheng
star 0
by Guanghui, Cheng
v2 request by Gabi Voiculescu
star 0
by Gabi Voiculescu
iguana fails to start on a new platform by Gabi Voiculescu
star 1
by Gabi Voiculescu
OKL4 white papers by rsarabu
star 0
by rsarabu
OK Wiki - We want your input by Tim Heath
star 0
by Tim Heath
Call for Papers: Embedded Software Track at DATE 2010 by André Hergenhan
star 0
by André Hergenhan
porting OKL4 to an amr1176jzf-s based board by 이남승
star 2
by Amrit_a
Device Driver Resource Allocation. by Minsub Lee
star 0
by Minsub Lee
OK:symbian by qjsmartphone
star 0
by qjsmartphone
How do I get windows mobile virtualized onto OKL 4 so I can run it on other devices?? by qjsmartphone
star 2
by qjsmartphone
Device Driver Model for OKL4 3.0 by AndyM
star 0
by AndyM
Cell isolation by XavierL
star 4
by XavierL
OK Wiki - We want your input by Tim Heath
star 0
by Tim Heath
Howto map a page using okl4 library? by Gabi Voiculescu
star 0
by Gabi Voiculescu
Help regarding the OKL4 port to the Qemu Emulator by Amrit_a
star 8
by Amrit_a
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 petern
star 0
by petern
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
1 2 3 4 5 ... 21
Feeds | Created by Josh Matthews Josh Matthews |