2507 Threads
8713 Posts
Ranked #1270
First post
1998-10-13 01:28:55 UTC
Mailing List:
l4-hackers@os.inf.tu-dresden.de
Add new
Display options
Show
threads
Order By
Last Message Date - Newest First
Last Message Date - Oldest First
Replycount - Most First
Replycount - Less First
Save
0
replies
UEFI L4 image?
started
2018-11-25 06:08:09 UTC
2018-11-25 06:08:09 UTC
Peter Wiehe
1
reply
UEFI
started
2018-11-23 04:19:08 UTC
2018-11-23 15:22:12 UTC
Matthias Lange
1
reply
FOSDEM 2019 - Microkernels developer room - CfP
started
2018-10-11 14:51:02 UTC
2018-10-12 22:58:45 UTC
teclis High Elf
32
replies
Information on implementing L4
started
2018-09-14 05:55:41 UTC
2018-10-05 20:24:02 UTC
Paul Boddie
0
replies
OS/Microkernel Engineers Wanted!
started
2018-10-02 21:29:51 UTC
2018-10-02 21:29:51 UTC
Osman Ismael
0
replies
Call from 8-bytes aligned stack to functions that require 16-bytes stack alignment
started
2018-09-25 15:36:07 UTC
2018-09-25 15:36:07 UTC
Yuxuan Shui
2
replies
Issues about server multi-threading on L4Re
started
2018-09-21 17:10:39 UTC
2018-09-21 20:17:47 UTC
李 鼎基
2
replies
High 32 bits of SFMASK is reserved
started
2018-09-19 02:45:41 UTC
2018-09-20 23:05:12 UTC
Matthias Lange
1
reply
cost (cycles + cache) of setup and use of IPC mechanisms
started
2018-09-15 09:08:53 UTC
2018-09-17 17:31:25 UTC
Zenaan Harkness
1
reply
L4linux booting problem on IMX.6 based board
started
2018-09-02 23:46:01 UTC
2018-09-05 02:25:21 UTC
Jakub Jermář
0
replies
Genode 18.08 brings modern hardware support
started
2018-08-30 17:18:40 UTC
2018-08-30 17:18:40 UTC
Stefan Kalkowski
0
replies
Filesystem Architectures with L4Re and L4-Based Systems
started
2018-08-13 01:26:26 UTC
2018-08-13 01:26:26 UTC
Paul Boddie
7
replies
L4Re Build Failure on i386 (Revision 80)
started
2018-08-03 03:26:45 UTC
2018-08-12 20:37:03 UTC
Paul Boddie
0
replies
L4Re development version available on GitHub
started
2018-07-05 00:22:54 UTC
2018-07-05 00:22:54 UTC
Jakub Jermar
9
replies
Building programs with MODE=shared in L4Re
started
2018-05-11 04:00:11 UTC
2018-07-04 03:44:08 UTC
Paul Boddie
3
replies
Release of Sculpt TC
started
2018-06-13 19:02:39 UTC
2018-06-15 04:17:36 UTC
Paul Boddie
1
reply
Issues about webserver on L4Re
started
2018-05-24 19:05:57 UTC
2018-06-08 03:38:20 UTC
Adam Lackorzynski
5
replies
Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
started
2018-04-18 04:34:04 UTC
2018-05-30 18:51:36 UTC
Paul Boddie
4
replies
Input driver configuration and use in L4Re
started
2018-04-23 04:28:59 UTC
2018-05-25 03:06:10 UTC
Paul Boddie
1
reply
Assertion failure error in kernel vgic interrupt processing
started
2018-05-03 08:18:03 UTC
2018-05-15 00:11:16 UTC
Adam Lackorzynski
5
replies
Assertion failure error in kernel vgic interrupt processing
started
2018-03-29 17:48:34 UTC
2018-04-11 02:59:58 UTC
Adam Lackorzynski
1
reply
Entrypoint for user-space syscall instruction
started
2018-03-26 16:09:09 UTC
2018-03-26 19:14:38 UTC
Zihan Yang
2
replies
Ben NanoNote patches (MIPS/Ingenic JZ4720) and memory mapping issues
started
2018-03-12 22:28:50 UTC
2018-03-17 04:27:07 UTC
Paul Boddie
2
replies
I got an issue, when testing command like this :qemu–system–aarch64 -kernel uimage -smp 2...
started
2018-03-13 16:40:37 UTC
2018-03-14 05:33:51 UTC
Adam Lackorzynski
1
reply
How to show call path in backtrace with jdb?
started
2018-03-13 08:58:57 UTC
2018-03-14 05:28:28 UTC
Adam Lackorzynski
12
replies
Is the L4Linux running as a Fiasco.OC server?
started
2018-03-05 17:47:19 UTC
2018-03-09 07:33:05 UTC
Zeyu Mi
6
replies
Activating the sigma0 thread in the Fiasco kernel
started
2018-03-05 03:25:12 UTC
2018-03-08 06:15:17 UTC
Adam Lackorzynski
4
replies
Fiasco.OC development version available on github
started
2018-02-21 22:11:22 UTC
2018-02-22 14:59:25 UTC
Matthias Lange
1
reply
OS Engineers Wanted!
started
2018-01-31 01:36:44 UTC
2018-02-13 06:37:15 UTC
teclis High Elf
2
replies
L4Linux performance vs hardware virtualization
started
2018-02-07 14:02:15 UTC
2018-02-12 05:54:34 UTC
Adam Lackorzynski
Click to Load More...
Loading...