Messages by Thread
-
compilation problems
Inti Yulien Gonzalez Herrera
-
Re: l4ka Digest, Vol 79, Issue 9
Alexey Aizatullin
-
how to try out L4Ka in a virtual machine?
Chengqi Song
-
How to create a thread ?
BERTRAND Joel
-
Recreating BEOS on L4:pistachio
? ?
-
Local threads ?
BERTRAND Joel
-
[Patch] PIC support for syscall bindings
Sebastian Sumpf
-
Virtual memory and pager
BERTRAND Joel
-
Kickstart panics
BERTRAND Joel
-
How to build userland ?
BERTRAND Joel
-
New list member
Frédéric BOYER
-
New to L4
C K Kashyap
-
Overmap from sigma0 to roottask
Norman Feske
-
Typo in L4 X.2 Reference Manual r6?
Farid Hajji
-
Mutexes on L4Ka::Pistachio?
Farid Hajji
-
Patch
Вульф Рамовски
-
A small patch to user/Mk/l4.prog.mk
C. P. Ghost
-
Where is CONFIG_KDB_BOOT_CONS defined?
C. P. Ghost
-
Error building native network drivers in Afterburner
David Silcott
-
Loading Modules, Starting Threads
Martin
-
a "hello world" under l4
Aizatullin Alexey
-
Native L4 network application
David Silcott
-
Sanitize the element when dequing
Mai, Haohui
-
[afterburner]Failed to build binutils when "make world"
Tsuyoshi Ozawa
-
Is L4Ka::Pistachio really GPL-free?
C. P. Ghost
-
A patch to eliminate warnings on casts
Mai, Haohui
-
RE: Kickstart issue
Jan Stoess
-
Mohamad Rezaei has invited you to Dropbox
Dropbox
-
l4test hang from CONFIG_X_PAGER_EXREGS
Sam King
-
spinlock implementation
Sam King
-
Status of VMI support in L4
Mai, Haohui
-
RE: Status of VMI support in L4
Jan Stoess
-
Race condition in interrupt handling
Haohui Mai
-
Re: Race condition in interrupt handling
Mai, Haohui
-
RE: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
RE: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
RE: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
RE: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
Re: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
Re: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Haohui Mai
-
RE: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
RE: Race condition in interrupt handling
Jan Stoess
-
Re: Race condition in interrupt handling
Mai, Haohui
-
Re: Race condition in interrupt handling
Mai, Haohui
-
Page table corruption after requesting non-conventional memory from sigma0 on x86-64 SMP
Mai, Haohui
-
Memory corruption under X86-64 environment
Mai, Haohui
-
[Patch] missing the volatile keyword in putc
Mai, Haohui
-
Patch for apps/bench/pingpong
Mai, Haohui
-
UTCB-Area, Local ThreadIds
Martin
-
L4 microkernel as a user-level program
Michael FIG
-
Codezero Microkernel v0.2 Released
Bahadir Balban
-
Building a working instance of L4Ka::Pistachio
Owen Shepherd
-
codezero community
Harold Grovesteen
-
Device Driver Reuse
Roberto Jung Drebes
-
Conflict with multiboot module 0
antonik
-
Sample applications freeze during execution
Andrew Price
-
booting question
Neo Anderson
-
[ANNOUNCE] Introducing Codezero
Bahadir Balban
-
Error by building the user-level code
raoul Lallah
-
Build error for Amd64
ambrosehuang ambrose
-
issue in afterburner--same as " Afterburner running problem" thread
Amit Mahajan
-
Check out my photos on Facebook
Muhammad Saufy Rohmad
-
[PATCH] fix improper return of local sender TID in propagated IPC
Kalle A. Sandstrom
-
How about a 0.5 release?
Kalle A. Sandstrom
-
A problem when building pistachio
watchmanxu
-
Announcement: Genode OS Framework version 9.02 released
Christian Helmuth
-
Fastpath on x32: Every single cycle
Moritz Kroll
-
StringItem length
Moritz Kroll
-
Double allocation of UTCB__MAPPING in Pistachio
Moritz Kroll
-
Compiling L4Ka::Pistachio with SMP support
Jim Whitehead II
-
Announcement: Genode OS Framework on Pistachio
Norman Feske
-
CAmkES: component-based development for L4
Ihor Kuz
-
Afterburner running problem
Alexander Valitov
-
RE: Problem with the configuring user-level code of L4Ka::Pistachio
Jan Stoess
-
gt timer interrupt problem..
Samreen Hameed
-
pistachio with busybox/shell & build system
Ladislav Klenovic
-
libserial --- help
Muhammad Asif
-
Help Required for Pager
Muhammad Asif
-
Wrong definition for the "x86_x32_tss_t" class ?
Willy
-
How does pistachio deal with the priority inversion?
Bob
-
Some remarks on Pistachio.
Willy
-
Problems to set up Pistachio
Lutz Schönemann
-
error in requesting pages from sigma0
Samreen Hameed
-
What's the difference between Quantum and Timeslice ?
Bob
-
only kernel can access copy_area ?
Bob
-
malformed request
Samreen Hameed