l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
Ethernet on l4linux
by Gayathri Nagarajan 20 Feb '15

20 Feb '15

18 Feb '15

16 Feb '15
Ram size of the arm images
by cem akpolat 13 Feb '15

13 Feb '15
Problem with socket program on l4linux
by Gayathri Nagarajan 13 Feb '15

13 Feb '15
Running l4android on cubieboard2
by cem akpolat 12 Feb '15

12 Feb '15
3 15
0 0
Re: Problem Launching L4Linux
by Piwe li 12 Feb '15

12 Feb '15
Problem with executing a binary on l4linux
by Harini Balachandran 11 Feb '15

11 Feb '15
testing tools
by Waldo Paz Rodriguez 11 Feb '15

11 Feb '15
Running the FERRET Examples
by Karl Steger 10 Feb '15

10 Feb '15

10 Feb '15

10 Feb '15
How to Install L4Re
by Jerry L 10 Feb '15

10 Feb '15
Re: How to run an application on l4linux
by Björn Döbel 09 Feb '15

09 Feb '15
Mounting l4linux ramdisk
by Harini Balachandran 09 Feb '15

09 Feb '15
How to run an application on l4linux
by Gayathri Nagarajan 09 Feb '15

09 Feb '15
Re:Linux boot problem
by Gayathri Nagarajan 05 Feb '15

05 Feb '15
l4linux boot problem
by Gayathri Nagarajan 04 Feb '15

04 Feb '15
Problem with L4linux
by Gayathri Nagarajan 02 Feb '15

02 Feb '15

01 Feb '15
Problem with Socket program
by Gayathri Nagarajan 01 Feb '15

01 Feb '15
Problem Launching L4Linux
by Piwe li 31 Jan '15

31 Jan '15
l4linux boot failed
by Nicolas VARONA 31 Jan '15

31 Jan '15
Makefile in l4re
by Harini Balachandran 31 Jan '15

31 Jan '15
SOCKET PROGRAMMING IN L4RE
by Sushma Rao 31 Jan '15

31 Jan '15
kobject kinvoke from ned
by teclis High Elf 31 Jan '15

31 Jan '15

29 Jan '15
SERVICES
by Sushma Rao 28 Jan '15

28 Jan '15
ERROR WHILE INSTALLING L4RE
by Sushma Rao 27 Jan '15

27 Jan '15

26 Jan '15
User-level objects
by li94575 23 Jan '15

23 Jan '15
CLIENT SERVER COMMUNICATION
by Sushma Rao 23 Jan '15

23 Jan '15
1st Microkernel Stammtisch 2015
by Julian Stecklina 23 Jan '15

23 Jan '15
L4LINUX
by Sushma Rao 23 Jan '15

23 Jan '15

23 Jan '15
5 12
0 0
executing snort(IDS)on l4 linux
by Vidya Lakshmi 22 Jan '15

22 Jan '15
client server communication
by Gayathri Nagarajan 22 Jan '15

22 Jan '15
L4linux build problem
by Gayathri Nagarajan 21 Jan '15

21 Jan '15
Device Driver Terminology
by teclis High Elf 21 Jan '15

21 Jan '15
Re: Bash-script with l4re-App
by Björn Döbel 20 Jan '15

20 Jan '15

19 Jan '15
build system library path
by teclis High Elf 15 Jan '15

15 Jan '15

13 Jan '15
PF_RING installation on l4re
by Vidya Lakshmi 07 Jan '15

07 Jan '15
Re: L4Re GPIO
by Erry Pradana Darajati 05 Jan '15

05 Jan '15
L4Android on Pandaboard
by Lin 05 Jan '15

05 Jan '15
Re: Iostream and string in L4Re
by Erry Pradana Darajati 05 Jan '15

05 Jan '15
Re: L4Re GPIO
by Erry Pradana Darajati 28 Dec '14

28 Dec '14
Re: L4Re GPIO
by Erry Pradana Darajati 22 Dec '14

22 Dec '14
JDB and sigma0
by teclis High Elf 21 Dec '14

21 Dec '14
iostream and string in L4Re
by Erry Pradana Darajati 21 Dec '14

21 Dec '14

21 Dec '14
DARPA funds building stuff on seL4
by Gernot Heiser 18 Dec '14

18 Dec '14
Re: Need help profiling with Valgrind
by Björn Döbel 12 Dec '14

12 Dec '14
4 30
0 0
JDB percent CPU usage
by teclis High Elf 04 Dec '14

04 Dec '14
L4Re GPIO
by Erry Pradana Darajati 04 Dec '14

04 Dec '14

03 Dec '14
Re: [ASK] Basic L4Re
by Matthias Lange 01 Dec '14

01 Dec '14
4 10
0 0
SMP
by teclis High Elf 11 Nov '14

11 Nov '14
Second UART and console
by teclis High Elf 10 Nov '14

10 Nov '14
memory layout
by Tobias Woelfel 08 Nov '14

08 Nov '14
Re: Question about schedule policy
by Björn Döbel 05 Nov '14

05 Nov '14

04 Nov '14

04 Nov '14
FOSDEM 2015 - CfP: Microkernels DevRoom
by Vasily A. Sartakov 01 Nov '14

01 Nov '14
Dummy irq
by teclis High Elf 01 Nov '14

01 Nov '14

29 Oct '14
memcpy(): alignment error
by ba_f 25 Oct '14

25 Oct '14
exec()
by teclis High Elf 23 Oct '14

23 Oct '14
dynamic loading
by teclis High Elf 21 Oct '14

21 Oct '14
SMP for L4Linux on i.MX6
by Uwe Geuder 19 Oct '14

19 Oct '14
Teaching OS Course notes
by teclis High Elf 17 Oct '14

17 Oct '14

16 Oct '14
[ASK] Basic L4Re
by Erry Pradana Darajati 13 Oct '14

13 Oct '14
L4 Bootsrap Fiasco Addr
by Wölfel, Tobias 11 Oct '14

11 Oct '14

10 Oct '14
examples/libs/l4re/c++/shared_ds/ds_clnt.cc
by teclis High Elf 10 Oct '14

10 Oct '14
contiguous memory blocks and zero copy
by teclis High Elf 09 Oct '14

09 Oct '14
l4linux shutdown cleanup
by Masti Ramya Jayaram 09 Oct '14

09 Oct '14
JDB and thread ids
by teclis High Elf 09 Oct '14

09 Oct '14

09 Oct '14
Ned,moe, l4linux interaction
by Masti Ramya Jayaram 01 Oct '14

01 Oct '14

01 Oct '14
Repository Update
by Adam Lackorzynski 29 Sep '14

29 Sep '14
Question about the doc of L4Re
by lwf408498027 28 Sep '14

28 Sep '14

28 Sep '14
What does idle thread do
by Yuxin Ren 27 Sep '14

27 Sep '14
cannot find -lld-l4
by ba_f 25 Sep '14

25 Sep '14

23 Sep '14

23 Sep '14

18 Sep '14
4 52
0 0
How to debug Fiasco Kernel
by cem akpolat 18 Sep '14

18 Sep '14
Trimming uclibc in l4
by Masti Ramya Jayaram 18 Sep '14

18 Sep '14
Physical memory allocation to L4linux
by Masti Ramya Jayaram 16 Sep '14

16 Sep '14
3 13
0 0
Re: Using IO-Server
by Martin Schröder 12 Sep '14

12 Sep '14
Using IO-Server
by Korbinian Ederer 10 Sep '14

10 Sep '14
Aborted L4linux due to CLI/STI
by Masti Ramya Jayaram 10 Sep '14

10 Sep '14
GCC 4.9
by Stefan Wallentowitz 09 Sep '14

09 Sep '14

09 Sep '14

09 Sep '14
2 12
0 0
Adding a custom library to l4/pkg/bootstrap
by Masti Ramya Jayaram 05 Sep '14

05 Sep '14
Compiling the Fiasco.OC +L4Re for Raspberry PI
by Waldo Paz Rodriguez 03 Sep '14

03 Sep '14
Passing data to a thread
by Valentin Hauner 03 Sep '14

03 Sep '14
Fault in function writev (ulibc)
by Masti Ramya Jayaram 02 Sep '14

02 Sep '14
New package linking fails
by Masti Ramya Jayaram 01 Sep '14

01 Sep '14
lwip and C++ compilation/linking issue
by Stark, Josef 01 Sep '14

01 Sep '14

30 Aug '14
3 14
0 0
Re: advice on using ddelinux
by Björn Döbel 28 Aug '14

28 Aug '14

28 Aug '14
GPIO Interrupt on L4Linux
by Yunchuan Geng 28 Aug '14

28 Aug '14
Fiasco, L4Re, L4linux for Pentium 5
by Masti Ramya Jayaram 28 Aug '14

28 Aug '14
Device Tree Blob support in l4linux
by Martin Schröder 28 Aug '14

28 Aug '14
3 14
0 0
Re: advice on using ddelinux
by Björn Döbel 28 Aug '14

28 Aug '14
advice on using ddelinux
by Korbinian Ederer 26 Aug '14

26 Aug '14
Locks in Base_mappable class
by Yuxin Ren 24 Aug '14

24 Aug '14

22 Aug '14
Doubt about fiasco-l4re on FastModels
by Maria Soler 21 Aug '14

21 Aug '14

19 Aug '14

19 Aug '14

19 Aug '14
2 17
0 0

18 Aug '14

18 Aug '14

15 Aug '14
Build system
by teclis High Elf 14 Aug '14

14 Aug '14

13 Aug '14

11 Aug '14

08 Aug '14
strange response time question
by Yuxin Ren 06 Aug '14

06 Aug '14
response time in Fiasco
by Yuxin Ren 06 Aug '14

06 Aug '14
DDE-Kit
by Korbinian Ederer 05 Aug '14

05 Aug '14
seL4 boot issue
by Jorge Ventura 04 Aug '14

04 Aug '14
Task creation in ned or moe
by Stark, Josef 31 Jul '14

31 Jul '14
LUA bindings / kill task
by Stark, Josef 31 Jul '14

31 Jul '14
Problems with python to compile seL4
by Jorge Ventura 29 Jul '14

29 Jul '14
seL4 is free!
by Gernot Heiser 29 Jul '14

29 Jul '14
Question about IPI
by Yuxin Ren 28 Jul '14

28 Jul '14
Start a process with a specified pager
by Noah Zentzis 24 Jul '14

24 Jul '14
Question about irq
by Maria Soler 24 Jul '14

24 Jul '14

24 Jul '14
l4android compilation issue
by cem akpolat 24 Jul '14

24 Jul '14
booting lx_ginger.iso
by cem akpolat 21 Jul '14

21 Jul '14
Timer Interrupt Handler
by Xavier LEBARS 21 Jul '14

21 Jul '14
Fiasco bug
by Zahi Rima 18 Jul '14

18 Jul '14

15 Jul '14

15 Jul '14

14 Jul '14
User space filesystems for L4Linux
by Uwe Geuder 14 Jul '14

14 Jul '14
Pid 1 crashing under L4Linux
by Uwe Geuder 09 Jul '14

09 Jul '14
MOE uses memory originally from IO device
by Martin Schröder 09 Jul '14

09 Jul '14

08 Jul '14
Question abut DRQ handler
by Yuxin Ren 07 Jul '14

07 Jul '14
Delay::measure function
by Xavier LEBARS 04 Jul '14

04 Jul '14

02 Jul '14
real time application example in l4re
by cem akpolat 01 Jul '14

01 Jul '14
IO configuration language
by Martin Schröder 25 Jun '14

25 Jun '14
A conceptual question about IPC
by Jorge Ventura 24 Jun '14

24 Jun '14

24 Jun '14
Fwd: l4shmnet and its structure
by cem akpolat 22 Jun '14

22 Jun '14
RCU period
by Yuxin Ren 22 Jun '14

22 Jun '14
How does Fiasco implement printf
by Yuxin Ren 22 Jun '14

22 Jun '14
Question about seL4 on July 29th
by Jorge Ventura 21 Jun '14

21 Jun '14
Istream beginner help
by ba_f 17 Jun '14

17 Jun '14
Multiple IPC_Gate channels per task
by professor xavier 13 Jun '14

13 Jun '14
l4shmnet and its structure
by cem akpolat 13 Jun '14

13 Jun '14
Trouble building l4linux
by Sören Jonsson 10 Jun '14

10 Jun '14
EFI boot fails
by Ayad Mostafa 10 Jun '14

10 Jun '14
Dresden Microkernel Hackers Meet-up
by Julian Stecklina 08 Jun '14

08 Jun '14
Clans and chiefs
by teclis High Elf 07 Jun '14

07 Jun '14

07 Jun '14
Question about cross core IPC
by Yuxin Ren 07 Jun '14

07 Jun '14

06 Jun '14
A convenient makefile
by Sören Jonsson 06 Jun '14

06 Jun '14
L4-based microkernel on Intel SCC
by Masti Ramya Jayaram 05 Jun '14

05 Jun '14
seL4 will go open source on 29 July
by Gernot Heiser 05 Jun '14

05 Jun '14
l4re compilation
by Ramya Masti 04 Jun '14

04 Jun '14
Documentation of Sched_context
by Valentin Hauner 03 Jun '14

03 Jun '14
Some confusing code of the kernel
by Yuxin Ren 01 Jun '14

01 Jun '14
page fault on virtual bus
by ba_f 30 May '14

30 May '14
Re: kinvoke fonction
by Matthias Lange 28 May '14

28 May '14

28 May '14
Re: Doing simple I/O in clntsrv example
by Marcus Hähnel 26 May '14

26 May '14
Results per page: