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 ... 21
Topics (718)
  Replies
Last Post
Views
server_loop() by Peter Nguyen-2
star 1
by Josh Zhao
OKL4 3.0 l4_do_page_fault() in syscall_loop.c - binary patching by Badea Daniel
star 1
by aparna
Installing packages into wombat by Peter Nguyen-2
star 0
by Peter Nguyen-2
Wombat by petern
star 0
by petern
some questions about okl4 by luanlan
star 1
by Guanghui, Cheng
porting OKL4 to a different architecture by Andrei Voinescu
star 2
by Gary Gibson
Filesystem size limits by Peter Nguyen-2
star 1
by Damien Arcuset
Error while building WOMBAT using ARMV7 tooolchain [strex/ldrex related error] by Akshay
star 1
by Akshay
okl4_pd_attr_setconstructrootpd function problem by crisvlad
star 3
by crisvlad
more errors, further though by zlice0
star 3
by zlice0
Strange Behaviour(OKL42.1) Tick Interrupts not happening if TIMER_TICK_LENGTH != DEFAULT_TIMESLICE_LENGTH by Akshay
star 0
by Akshay
Address space concept by aparna
star 0
by aparna
OKL4 1.5.2 natively by Peter Nguyen-2
star 1
by Gabi Voiculescu
what am i doing wrong? by zlice0
star 2
by zlice0
Reading single chars from stdin by Daniel Rossier
star 0
by Daniel Rossier
Fwd: my machine configuration by Peter Nguyen-2
star 1
by Christian Helmuth
Re: my machine configuration by petern
star 0
by petern
I have a question about OKL4 code by Josh Zhao
star 4
by Josh Zhao
'hello world' issue... by zlice0
star 0
by zlice0
Precise simulation and profiling by Konst
star 0
by Konst
Natively running OKL4 by Peter Nguyen-2
star 0
by Peter Nguyen-2
simualting KZM using Qemu by aparna
star 1
by Gabi Voiculescu
cell to threads communication by Hannes Payer
star 3
by Hannes Payer-2
OKL4 on ia32 by Peter Nguyen-2
star 1
by Gabi Voiculescu
arm toolchain with gdb support anybody? by Gabi Voiculescu
star 0
by Gabi Voiculescu
contents of kernel.kip section by aparna
star 0
by aparna
okl41.4.1.1:okl4 address space mapping and USER_UTCB_REF by Akshay
star 0
by Akshay
How to add a custom toolchain in toolchain.py script for a specific machine by Arsalan
star 1
by Gabi Voiculescu
How to add a custom toolchain in toolchain.py scripct for a specific machin by Arsalan
star 0
by Arsalan
Typical time required for porting linux kernel to make okl4 compatible by Akshay
star 1
by Gabi Voiculescu
what could cause the pagefault in OKL4 by Guanghui, Cheng
star 4
by icotoi
oklinux - l4 memory fault when linux tries to run /sbin/init by Ionut Cotoi
star 0
by Ionut Cotoi
Physical Memory & Virtual Memory by Kumar Sanghvi
star 3
by houwei
Help with SoC Porting by Kumar Sanghvi
star 8
by Christophe Augier
kernel and application debugging by Matthew Willis-2
star 2
by Josh Matthews
1 2 3 4 ... 21
Feeds | Created by Josh Matthews Josh Matthews |