OKL4 Developer's Mailing List

Hi Developers -

If you have questions that need to be answered immediately or are looking for further discussions about OKL4, then you have arrived at the right place. Signing up for the list means you can join the discussion and gain access to valuable information and insights about OKL4.

Have you developed an interesting work-around? Got a useful hack? Share your knowledge and expertise with other researchers and developers.

Sample Questions for the Developer's Mailing List:

1. Does this release support any intel multicore architecture? If not, are you guys working on this?
2. Is there any SDK to build some OS A on top of OKL4 API without "seeing it"?
3. I am progressing with my OKL4_2.1 port to a platform similar to the ARM versatile platform. For software emulation, I use qemu with -M versatilepb flag. When running OKL4 with project=l4test, some tests are passed, but it hangs in others. I was wondering whether you already have some experience with OKL4 on the versatile platform. If so, are you experiencing similar problems?