l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
Where is kernel entry code
by Yuxin Ren 26 May '14

26 May '14
Missing library question
by Sören Jonsson 26 May '14

26 May '14
About DMA mem and IO Server
by Taeung 23 May '14

23 May '14
Doing simple I/O in clntsrv example
by Valentin Hauner 22 May '14

22 May '14
interfaces of scheduler Fiasco
by Bouchra Elouri 21 May '14

21 May '14

21 May '14

18 May '14
Doing simple I/O in clntsrv example
by Valentin Hauner 17 May '14

17 May '14
how to get current cpu id
by Yuxin Ren 15 May '14

15 May '14
OKL4 vs L4::Pistachio
by Taylor Bioniks 15 May '14

15 May '14
Question about dataspace
by Yuxin Ren 15 May '14

15 May '14
Facing l4x-evict_task problem in L4Linux
by Irvanda Kurniadi 10 May '14

10 May '14

09 May '14

08 May '14
Compile library in L4Linux ramdisk
by Irvanda Kurniadi 08 May '14

08 May '14

30 Apr '14
L4Linux on amd64 arch
by Irvanda Kurniadi 28 Apr '14

28 Apr '14

28 Apr '14
Re: L4Linux and L4Re communication
by Björn Döbel 25 Apr '14

25 Apr '14
L4Linux and L4Re communication
by Irvanda Kurniadi 25 Apr '14

25 Apr '14
build error: [kobject_mapdb.o] error
by Irvanda Kurniadi 25 Apr '14

25 Apr '14
Keyboard Input in L4Re Pandaboard ARM
by Erry Pradana Darajati 24 Apr '14

24 Apr '14
Fiasco.OC and qemu vexpress machine model
by Michele Paolino 24 Apr '14

24 Apr '14
2 10
0 0
L4Linux + Ubuntu
by Sai Prajeeth 23 Apr '14

23 Apr '14
5 11
0 0

21 Apr '14

17 Apr '14
1 maximal supported CPUs
by Irvanda Kurniadi 16 Apr '14

16 Apr '14
Ankh Examples
by Ayad Mostafa 09 Apr '14

09 Apr '14
Ankh Examples
by Ayad Mostafa 08 Apr '14

08 Apr '14
newbie - trying to build
by Jack Andrews 06 Apr '14

06 Apr '14

03 Apr '14
step forward on compilation
by Emanuel Berg 03 Apr '14

03 Apr '14

03 Apr '14
Custom ramdisk
by Tim Komarov 01 Apr '14

01 Apr '14

28 Mar '14
hello/l4/fiasco.oc for realview pbxa9
by Alexis Fajardo Moya 27 Mar '14

27 Mar '14

27 Mar '14
Compiling L4Linux for Pandaboard ARM Error
by Erry Pradana Darajati 25 Mar '14

25 Mar '14
Re: l4linux
by Taeung 24 Mar '14

24 Mar '14
compile l4re for arm
by Waldo 21 Mar '14

21 Mar '14

21 Mar '14
L4 Fiasco's scheduling in Multi-Core
by Ganis Zulfa Santoso 20 Mar '14

20 Mar '14
compiling L4RE for ARM
by Waldo 18 Mar '14

18 Mar '14
Re: Problem in Linking program
by Irvanda Kurniadi 13 Mar '14

13 Mar '14
Problem in Linking program
by Irvanda Kurniadi 12 Mar '14

12 Mar '14
seL4 what exactly is in the kernel
by Taylor Bioniks 11 Mar '14

11 Mar '14
Problem when booting L4 Fiasco/Re
by Sören Jonsson 11 Mar '14

11 Mar '14
seL4 what exactly is in the kernel
by Taylor Bioniks 08 Mar '14

08 Mar '14
Panic with l4Linux
by Ismael BARAKAT 07 Mar '14

07 Mar '14
Seting Library search path
by Sören Jonsson 06 Mar '14

06 Mar '14
Running application can't create a file
by Irvanda Kurniadi 03 Mar '14

03 Mar '14
Framebuffer in L4Re for Raspberry PI
by Peter Hanzel 03 Mar '14

03 Mar '14
Genode 14.02 enables VirtualBox on NOVA
by Christian Helmuth 28 Feb '14

28 Feb '14
L4 Performance
by Gernot Heiser 24 Feb '14

24 Feb '14
Fortran Compiler Missing
by Irvanda Kurniadi 22 Feb '14

22 Feb '14

21 Feb '14
4 16
0 0
Build kernel modules and run it on L4linux
by Irvanda Kurniadi 19 Feb '14

19 Feb '14

18 Feb '14
Hello!
by Blaine Garst 17 Feb '14

17 Feb '14
5 12
0 0
FOSDEM microkernel dinner
by Julian Stecklina 13 Feb '14

13 Feb '14
building_l4re_pandaboard
by Комаров Тимофей 11 Feb '14

11 Feb '14
Passing Compilation Flag from CMake file
by Irvanda Kurniadi 11 Feb '14

11 Feb '14
Re: Re: Re: Network Server Ankh
by Ajith Whowe 10 Feb '14

10 Feb '14
Re: Re: Network Server Ankh
by Ajith Whowe 07 Feb '14

07 Feb '14
Re: Network Server Ankh
by Ajith Whowe 07 Feb '14

07 Feb '14
Network Server Ankh
by Ajith Whowe 07 Feb '14

07 Feb '14
nothing after make for snapshot
by Emanuel Berg 03 Feb '14

03 Feb '14

27 Jan '14

24 Jan '14

23 Jan '14

20 Jan '14
GI Operating Systems Meeting
by Björn Döbel 17 Jan '14

17 Jan '14

16 Jan '14

16 Jan '14
Re: Porting libtiff library
by Irvanda Kurniadi 16 Jan '14

16 Jan '14
Re: Porting libtiff library
by Irvanda Kurniadi 16 Jan '14

16 Jan '14
Writing to TTBCR on ARM9 causes fault
by Martin Schröder 14 Jan '14

14 Jan '14
NOVA, NUL, snapshotting
by Sartakov A. Vasily 13 Jan '14

13 Jan '14
5 21
0 0
about the alien thread
by Wei Jin 12 Jan '14

12 Jan '14
Porting libtiff library
by Irvanda Kurniadi 12 Jan '14

12 Jan '14
Porting libtiff library
by Irvanda Kurniadi 09 Jan '14

09 Jan '14

21 Dec '13
Error while compiling program in l4re
by Irvanda Kurniadi 20 Dec '13

20 Dec '13

19 Dec '13
Assertion failed on FPU
by Wei Jin 16 Dec '13

16 Dec '13
Porting libtiff library
by Irvanda Kurniadi 15 Dec '13

15 Dec '13

13 Dec '13
Re: Request for information on l4 fiasco
by Matthias Lange 10 Dec '13

10 Dec '13
Request for information on l4 fiasco
by Viswa Sekar 10 Dec '13

10 Dec '13

06 Dec '13
Porting libraries to l4linux
by Irvanda Kurniadi 06 Dec '13

06 Dec '13
serial_drv failed
by Raja Sekhar 28 Nov '13

28 Nov '13
[ASK] Make L4 + Fiasco ISO to boot in pandaboard
by Erry Pradana Darajati 25 Nov '13

25 Nov '13

21 Nov '13
Cons
by Daniel Müller 11 Nov '13

11 Nov '13
question about process generation
by Alexander Aring 08 Nov '13

08 Nov '13

08 Nov '13

07 Nov '13
Fiasco.OC API documentation
by Neal H. Walfield 28 Oct '13

28 Oct '13
FOSDEM microkernel devroom video recordings
by Julian Stecklina 18 Oct '13

18 Oct '13
Invitation to connect on LinkedIn
by Rahul Singhal 17 Oct '13

17 Oct '13
Client Server application with l4linux
by Wajidali Whowe 14 Oct '13

14 Oct '13
L4/Fiasco.OC & gcc-4.7
by Daniel Müller 14 Oct '13

14 Oct '13
scanf is not working
by Raja Sekhar 10 Oct '13

10 Oct '13

10 Oct '13
L4Linux on AMD64 (again)
by Alexander Tarasikov 03 Oct '13

03 Oct '13

01 Oct '13
L4Re::Util::Dataspace_svr
by Daniel Müller 01 Oct '13

01 Oct '13
ARMV7 virtualization extensions support
by Karoline Haus 01 Oct '13

01 Oct '13

01 Oct '13
About the use of C++11 features
by Johannes Schlatow 20 Sep '13

20 Sep '13
Booting on Raspberry Pi
by Robert Kaiser 17 Sep '13

17 Sep '13
2 10
0 0
Is mapping database still in use now?
by Sheng-Wei Cheng 15 Sep '13

15 Sep '13
vbus problem
by vijay kumar Godavarthy 15 Sep '13

15 Sep '13
How to start DoPe and clients ?
by Rudolf Weber 15 Sep '13

15 Sep '13
L4Re::Util::Dataspace_svr
by Daniel Müller 15 Sep '13

15 Sep '13
Problems with SVN co
by Manuel Dejonghe 10 Sep '13

10 Sep '13
L4kproxy::Factory_svr
by Daniel Müller 09 Sep '13

09 Sep '13
Fosdem'14
by Sartakov A. Vasily 09 Sep '13

09 Sep '13
L4::Cap::move
by Daniel Müller 06 Sep '13

06 Sep '13

01 Sep '13
Top runscript
by Daniel Müller 28 Aug '13

28 Aug '13
Data transfer mechanisms
by Lluís Vilanova 20 Aug '13

20 Aug '13
Files that Tune Kernel
by Bryan Amato 18 Aug '13

18 Aug '13
Desktop Environment
by Bryan Amato 17 Aug '13

17 Aug '13
How to write device driver
by Raja Sekhar 16 Aug '13

16 Aug '13
l4linux with ide-harddisk
by Rudolf Weber 16 Aug '13

16 Aug '13

13 Aug '13

10 Aug '13
Setting physical CPU for a task
by Lluís Vilanova 06 Aug '13

06 Aug '13
Re: l4-hackers Digest, Vol 124, Issue 4
by Иван Филиппов 06 Aug '13

06 Aug '13
3 10
0 0
mmap2 on L4Linux rev 37
by Sebastian Sumpf 06 Aug '13

06 Aug '13
why Fiasco kernel is named as fiasco
by Raja Sekhar 05 Aug '13

05 Aug '13
Unable to boot Fiasco.OC on amd64
by Lluís Vilanova 04 Aug '13

04 Aug '13

03 Aug '13

01 Aug '13
2 13
0 0
Fwd: Interrupt Handlers
by Piyus Kedia 01 Aug '13

01 Aug '13
Using the tmpfs library
by Michael Weiß 01 Aug '13

01 Aug '13
Unexpected trap while booting Fiasco
by Stefan Fritsch 01 Aug '13

01 Aug '13
Build errors with L4
by Bob Stewart 29 Jul '13

29 Jul '13
Launch of L4Linux
by Maximin Coste 29 Jul '13

29 Jul '13
Problem with setting up namespaces
by Johannes Schlatow 19 Jul '13

19 Jul '13
Fiasco.OC Kernel memory running out (I think)
by Daniel Waddington 18 Jul '13

18 Jul '13

16 Jul '13
x86_fb-example
by Rudolf Weber 15 Jul '13

15 Jul '13
Help needed
by vijay kumar godavarthy 06 Jul '13

06 Jul '13
Thought you'd find this interesting
by Rahul Singhal 30 Jun '13

30 Jun '13

25 Jun '13

24 Jun '13
Unable to boot 64bit hello
by Daniel Müller 14 Jun '13

14 Jun '13
How to make task run on different cores?
by Chao-Jui Chang 12 Jun '13

12 Jun '13
Re: Fiasco.OC with ARM TrustZone
by Chao-Jui Chang 11 Jun '13

11 Jun '13
Program development for L4Re
by Rahul Singhal 11 Jun '13

11 Jun '13

10 Jun '13
Re: <http://l4ka.org/> down?
by Thomas Schwinge 08 Jun '13

08 Jun '13
Hello scenario gets stuck
by Markus Partheymueller 06 Jun '13

06 Jun '13
Re: How to catch unhandled exceptions ?
by Björn Döbel 04 Jun '13

04 Jun '13
target CPU does not support ARM mode
by Maximin Coste 04 Jun '13

04 Jun '13
Region overflow in bootstrap
by Markus Partheymueller 04 Jun '13

04 Jun '13

02 Jun '13

02 Jun '13
Can't use cxx::Thread
by BogDan 02 Jun '13

02 Jun '13
Kernel debugger in MP mode causes double fault
by Markus Partheymueller 01 Jun '13

01 Jun '13

01 Jun '13

31 May '13
sigma0 memory space
by joel@nider.org 31 May '13

31 May '13
Building l4re packages and linking errors
by Bryce Cronkite-Ratcliff 13 May '13

13 May '13

13 May '13

11 May '13
fiasco r52 on beagleboard xm
by Sin-ta Hsiea 11 May '13

11 May '13
Fiasco.OC with ARM TrustZone
by Chao-Jui Chang 11 May '13

11 May '13

02 May '13
Re: How to start 2 or more VMs
by Chao-Jui Chang 29 Apr '13

29 Apr '13
Results per page: