Mailing List:
l4ka@ira.uni-karlsruhe.de
Add newDisplay options
0
replies
Pistachio IPC performance on Bare Metal
started 2014-12-10 06:25:02 UTC
2014-12-10 06:25:02 UTC
matthew scaperoth
2
replies
Pistachio IPC performance on Bare Metal
started 2014-09-20 04:03:07 UTC
2014-09-23 18:07:13 UTC
Sergei Kostov
0
replies
Boot Pistachio from usb
started 2014-08-13 20:48:13 UTC
2014-08-13 20:48:13 UTC
Yuxin Ren
0
replies
seL4 is free!
started 2014-07-29 10:39:41 UTC
2014-07-29 10:39:41 UTC
Gernot Heiser
0
replies
started 2014-06-05 08:53:41 UTC
2014-06-05 08:53:41 UTC
unknown
0
replies
seL4 to go open-source on 29 July
started 2014-06-05 08:53:39 UTC
2014-06-05 08:53:39 UTC
Gernot Heiser
0
replies
started 2013-12-22 22:00:16 UTC
2013-12-22 22:00:16 UTC
unknown
0
replies
L4Ka does not boot if built by gcc 4.8
started 2013-12-22 22:00:14 UTC
2013-12-22 22:00:14 UTC
BERTRAND Joël
2
replies
L4 reboots before trying to execute roottask
started 2013-06-16 18:40:52 UTC
2013-06-24 18:47:08 UTC
BERTRAND Joël
5
replies
L4Ka. Regression with 4.7 and 4.8 ?
started 2013-06-22 17:32:00 UTC
2013-06-23 15:56:24 UTC
BERTRAND Joël
0
replies
[Pistachio]Linking error
started 2013-04-14 20:39:38 UTC
2013-04-14 20:39:38 UTC
Alexander Samilovskih
1
reply
Sigma0 and L4 Core
started 2013-03-15 05:16:58 UTC
2013-03-16 05:13:47 UTC
C. P. Ghost
0
replies
started 2013-02-11 15:30:15 UTC
2013-02-11 15:30:15 UTC
unknown
0
replies
Check out my profile on LinkedIn
started 2013-02-11 15:30:13 UTC
2013-02-11 15:30:13 UTC
Mohamad Rezaei
0
replies
started 2013-02-09 16:32:51 UTC
2013-02-09 16:32:51 UTC
Easwaran
0
replies
hello!
started 2013-01-30 07:56:40 UTC
2013-01-30 07:56:40 UTC
Easwaran
1
reply
L4 Pistachio Build Environment
started 2012-05-28 20:36:03 UTC
2012-06-11 12:48:07 UTC
Jan Stoess
2
replies
Is it possible to install L4 on Xen as a guest?
started 2012-05-10 07:17:23 UTC
2012-05-10 13:15:28 UTC
Chulmin Kim
2
replies
Iterative calculations doesn't work - What could be the problem?
started 2012-04-24 16:50:38 UTC
2012-04-24 18:39:13 UTC
Håvard Ostnes
0
replies
started 2012-04-24 12:52:24 UTC
2012-04-24 12:52:24 UTC
unknown
1
reply
Can't set total quantum with L4_Set_Timeslice()
started 2012-04-23 20:09:28 UTC
2012-04-24 12:52:22 UTC
Jan Stoess
1
reply
C Library with L4 - Diet Libc library?
started 2012-04-18 18:11:42 UTC
2012-04-23 13:36:42 UTC
Jan Stoess
2
replies
Hello World - No Output
started 2012-02-16 18:05:15 UTC
2012-03-07 06:09:37 UTC
Håvard Ostnes
1
reply
L4La-Pistachio: using idl4 for amd64
started 2012-02-10 03:00:34 UTC
2012-02-10 13:54:27 UTC
Jan Stoess
2
replies
cannot boot the compiled pistachio iso
started 2012-01-22 23:16:59 UTC
2012-02-10 13:49:13 UTC
rukshan rajapaksha
0
replies
16MB memory limit?
started 2012-02-09 00:17:45 UTC
2012-02-09 00:17:45 UTC
Håvard Ostnes
2
replies
How to create a working build environment
started 2012-01-27 17:25:55 UTC
2012-02-01 20:46:21 UTC
Håvard Ostnes
2
replies
Oops! No BIOS memory Map
started 2012-01-31 00:24:47 UTC
2012-02-01 20:43:02 UTC
Håvard Ostnes
1
reply
Porblem with building and running pistachio on x-86
started 2012-01-17 13:36:02 UTC
2012-01-18 01:11:38 UTC
Jens Kehne
2
replies
L4Ka::Pistachio Development
started 2011-12-16 03:31:14 UTC
2012-01-08 19:50:21 UTC
Robert Campbell
Click to Load More...
Loading...