Messages by Date
-
2015/10/07
Re: U-Boot version issue
Matthias Lange
-
2015/10/07
U-Boot version issue
ba_f
-
2015/10/07
Re: make clean (really!)
ba_f
-
2015/10/07
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/10/06
Hiring engineers for seL4 work
Gernot Heiser
-
2015/10/06
Re: make clean (really!)
Adam Lackorzynski
-
2015/10/05
Re: make clean (really!)
ba_f
-
2015/10/04
Re: make uimage error
Matthias Lange
-
2015/10/04
Re: make clean (really!)
Adam Lackorzynski
-
2015/10/04
make clean (really!)
ba_f
-
2015/10/02
Re: make uimage error
Shabnam Engineer
-
2015/09/30
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/09/29
Re: Error when building L4RE
Adam Lackorzynski
-
2015/09/28
Re: make uimage error
Matthias Lange
-
2015/09/28
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/09/26
Re: make uimage error
Shabnam Engineer
-
2015/09/24
Error when building L4RE
Mahdi Aichouch
-
2015/09/21
Re: l4linux building error
Adam Lackorzynski
-
2015/09/21
l4linux building error
Shabnam Engineer
-
2015/09/20
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/09/16
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/09/14
Re: make uimage error
Martin Schröder
-
2015/09/14
Re: make uimage error
Martin Schröder
-
2015/09/11
Re: make uimage error
Adam Lackorzynski
-
2015/09/11
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/09/11
Re: make uimage error
Shabnam Engineer
-
2015/09/09
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/09/08
Re: make uimage error
Adam Lackorzynski
-
2015/09/08
Re: make uimage error
Shabnam Engineer
-
2015/09/07
Re: make uimage error
Adam Lackorzynski
-
2015/09/06
make uimage error
Shabnam Engineer
-
2015/08/31
Re: make error
Matthias Lange
-
2015/08/31
Re: make error
Shabnam Engineer
-
2015/08/31
Re: make error
Matthias Lange
-
2015/08/30
Re: Question about JDB in Fiasco
Adam Lackorzynski
-
2015/08/28
Question about JDB in Fiasco
yang . wei9
-
2015/08/23
Re: l4-hackers Digest, Vol 148, Issue 3
Adam Lackorzynski
-
2015/08/22
Re: l4-hackers Digest, Vol 148, Issue 3
Raja Sekhar
-
2015/08/17
Re: Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"
Adam Lackorzynski
-
2015/08/17
Re: Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"
Le Guan
-
2015/08/16
Re: using math lua module
Adam Lackorzynski
-
2015/08/16
Re: Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"
Adam Lackorzynski
-
2015/08/16
using math lua module
AVK
-
2015/08/14
Re: Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"
Le Guan
-
2015/08/13
Re: Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"
Adam Lackorzynski
-
2015/08/13
Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"
Le Guan
-
2015/08/10
Re: porting linux driver in Fiasco.OC
Adam Lackorzynski
-
2015/08/10
Re: porting linux driver in Fiasco.OC
shabnam
-
2015/08/09
Re: porting linux driver in Fiasco.OC
Adam Lackorzynski
-
2015/08/08
Re: porting linux driver in Fiasco.OC
Shabnam Engineer
-
2015/08/05
Re: L4Linux interface to convert physical address to machine address
Adam Lackorzynski
-
2015/08/05
L4Linux interface to convert physical address to machine address
Olujide Adeola
-
2015/08/04
Re: L4Re: unhandled exception while building Fiasco.OC-L4Re for ARM platform
Adam Lackorzynski
-
2015/08/03
L4Re: unhandled exception while building Fiasco.OC-L4Re for ARM platform
Raja Sekhar
-
2015/07/31
Re: issues in creating an elf binary
Adam Lackorzynski
-
2015/07/31
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/31
Re: issues in creating an elf binary
AVK
-
2015/07/31
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/30
Re: porting linux driver in Fiasco.OC
Adam Lackorzynski
-
2015/07/30
Re: porting linux driver in Fiasco.OC
Jorge Alberto Garcia
-
2015/07/29
Re: porting linux driver in Fiasco.OC
Matthias Lange
-
2015/07/29
porting linux driver in Fiasco.OC
Shabnam Engineer
-
2015/07/28
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/28
Re: issues in creating an elf binary
Adam Lackorzynski
-
2015/07/28
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/28
issues in creating an elf binary
AVK
-
2015/07/24
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/24
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/23
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/23
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/22
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/22
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/21
Re: Fiasco.OC device driver
Adam Lackorzynski
-
2015/07/21
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/21
Fiasco.OC device driver
Shabnam Engineer
-
2015/07/21
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/20
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/20
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/20
Re: issues in building l4re
AVK
-
2015/07/20
Re: issues in building l4re
AVK
-
2015/07/18
Re: Adding more functionality on top of L4Linux
Adam Lackorzynski
-
2015/07/18
Re: Adding more functionality on top of L4Linux
Thotheolh Tay
-
2015/07/17
Re: Adding more functionality on top of L4Linux
Adam Lackorzynski
-
2015/07/17
Re: issues in building l4re
Adam Lackorzynski
-
2015/07/17
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/17
Adding more functionality on top of L4Linux
Thotheolh Tay
-
2015/07/17
issues in building l4re
AVK
-
2015/07/17
Re: Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/16
Re: Some questions about L4 operating system
Adam Lackorzynski
-
2015/07/16
Re: Some questions about L4 operating system
Adam Lackorzynski
-
2015/07/16
Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski
-
2015/07/16
Re: Problem in final step
Adam Lackorzynski
-
2015/07/16
Re: Some questions about L4 operating system
Yuxin Ren
-
2015/07/16
Some questions about L4 operating system
Qing Wei
-
2015/07/15
Problem in final step
Vlad Sof
-
2015/07/15
Question about memory management in L4 Fiasco O.C + L4re
Mahdi Aichouch
-
2015/07/06
Re: how does Fiasco achieve C++ support
Adam Lackorzynski
-
2015/07/06
Re: dlopen()
Adam Lackorzynski
-
2015/07/06
Re: how does Fiasco achieve C++ support
Yuxin Ren
-
2015/07/06
Re: dlopen()
ba_f
-
2015/07/05
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Adam Lackorzynski
-
2015/07/02
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Adam Lackorzynski
-
2015/07/02
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/06/29
Re: Difficulty Booting L4RE on Raspberry Pi
Adam Lackorzynski
-
2015/06/29
Re: how does Fiasco achieve C++ support
Adam Lackorzynski
-
2015/06/29
Difficulty Booting L4RE on Raspberry Pi
Robert Lowe
-
2015/06/29
Re: how does Fiasco achieve C++ support
Yuxin Ren
-
2015/06/27
Re: how does Fiasco achieve C++ support
Adam Lackorzynski
-
2015/06/26
Re: how does Fiasco achieve C++ support
Yuxin Ren
-
2015/06/26
Re: how does Fiasco achieve C++ support
Adam Lackorzynski
-
2015/06/26
Re: how does Fiasco achieve C++ support
Yuxin Ren
-
2015/06/25
Re: how does Fiasco achieve C++ support
Adam Lackorzynski
-
2015/06/25
Re: Open source development
Adam Lackorzynski
-
2015/06/25
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Adam Lackorzynski
-
2015/06/25
how does Fiasco achieve C++ support
Yuxin Ren
-
2015/06/25
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Adam Lackorzynski
-
2015/06/25
Re: question about libgcc, libspuc++ in the l4re
Adam Lackorzynski
-
2015/06/25
Re: why fiasco use -fno-rtti compile option?
Adam Lackorzynski
-
2015/06/25
Re: why fiasco use -fno-rtti compile option?
Adam Lackorzynski
-
2015/06/25
Re: dlopen()
Adam Lackorzynski
-
2015/06/25
question about libgcc, libspuc++ in the l4re
Yuxin Ren
-
2015/06/19
Re: why fiasco use -fno-rtti compile option?
Yuxin Ren
-
2015/06/19
dlopen()
ba_f
-
2015/06/18
why fiasco use -fno-rtti compile option?
liu . xiaodong2
-
2015/06/16
Open source development
teclis High Elf
-
2015/06/12
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/06/11
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Reinier Millo Sánchez
-
2015/06/11
Re: Increase IPC-Stream size
Adam Lackorzynski
-
2015/06/11
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Adam Lackorzynski
-
2015/06/11
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Adam Lackorzynski
-
2015/06/10
Re: Increase IPC-Stream size
ba_f
-
2015/06/09
Re: Debugging Fiasco OC + L4Re + L4Linux together
Adam Lackorzynski
-
2015/06/09
Re: Thread monitoring
Adam Lackorzynski
-
2015/06/08
Debugging Fiasco OC + L4Re + L4Linux together
Mahdi Aichouch
-
2015/06/08
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/06/05
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/06/04
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Reinier Millo Sánchez
-
2015/06/03
Thread monitoring
Biermans Joeri
-
2015/06/03
Re: Using a second Ethernet connector in L4Linux
Matthias Lange
-
2015/06/03
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Matthias Lange
-
2015/06/02
Re: Increase IPC-Stream size
Matthias Lange
-
2015/06/02
Re: Cann't access git://git.l4android.org/build_script.git
Matthias Lange
-
2015/06/01
Cann't access git://git.l4android.org/build_script.git
刘海剑
-
2015/05/29
Re: Implementing a few real time scheduling algorithms on Fiasco.OC
Daniel Krefft
-
2015/05/29
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/05/29
Re: Implementing a few real time scheduling algorithms on Fiasco.OC
Vasily A. Sartakov
-
2015/05/29
Implementing a few real time scheduling algorithms on Fiasco.OC
Biermans Joeri
-
2015/05/29
RE: Booting error of L4Linux enabled SMP surpport
Xiefeng (Stephen)
-
2015/05/29
Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Matthias Lange
-
2015/05/28
Re: Booting error of L4Linux enabled SMP surpport
Matthias Lange
-
2015/05/28
Re: Increase IPC-Stream size
ba_f
-
2015/05/28
Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/05/28
Using a second Ethernet connector in L4Linux
Mahdi Aichouch
-
2015/05/28
RE: Booting error of L4Linux enabled SMP surpport
Xiefeng (Stephen)
-
2015/05/27
Re: Boot L4Linux Error
Matthias Lange
-
2015/05/27
Re: Increase IPC-Stream size
Matthias Lange
-
2015/05/27
Re: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Matthias Lange
-
2015/05/27
Re: Increase IPC-Stream size
ba_f
-
2015/05/27
Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mahdi Aichouch
-
2015/05/26
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Reinier Millo Sánchez
-
2015/05/26
Re: How to write a driver for ARM platform
Adam Lackorzynski
-
2015/05/26
Re: Booting error of L4Linux enabled SMP surpport
Adam Lackorzynski
-
2015/05/26
Re: Booting error in L4android for Exynos 5250.
Adam Lackorzynski
-
2015/05/26
Re: Booting error in L4android for Exynos 5250.
Adam Lackorzynski
-
2015/05/26
Re: Increase IPC-Stream size
Adam Lackorzynski
-
2015/05/26
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Reinier Millo Sánchez
-
2015/05/26
Re: Kobject_h::invoke
Adam Lackorzynski
-
2015/05/26
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Adam Lackorzynski
-
2015/05/26
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Adam Lackorzynski
-
2015/05/22
Booting error of L4Linux enabled SMP surpport
Xiefeng (Stephen)
-
2015/05/21
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Reinier Millo Sánchez
-
2015/05/20
Kobject_h::invoke
watermirror
-
2015/05/20
Re: Booting error in L4android for Exynos 5250.
Youren Shen
-
2015/05/20
Re: Increase IPC-Stream size
ba_f
-
2015/05/19
Re: How to write a driver for ARM platform
Matthias Lange
-
2015/05/19
Re: Booting error in L4android for Exynos 5250.
Youren Shen
-
2015/05/19
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Reinier Millo Sánchez
-
2015/05/19
How to write a driver for ARM platform
qxjsjjjz
-
2015/05/18
Re: Does Fiasco support floating point?
Matthias Lange
-
2015/05/18
Re: Does Fiasco support floating point?
Adam Lackorzynski
-
2015/05/18
Does Fiasco support floating point?
Yuxin Ren
-
2015/05/17
Re: Fiasco.OC-UX and recent Linux kernels
Paul Boddie
-
2015/05/17
Re: l4-hackers Digest, Vol 145, Issue 7
Adam Lackorzynski
-
2015/05/17
Re: Booting error in L4android for Exynos 5250.
Adam Lackorzynski
-
2015/05/17
Re: Question about ext2 in Fiasco/L4re
Adam Lackorzynski
-
2015/05/17
Re: Question about RCU subsystem in Fiasco kernel.
Adam Lackorzynski
-
2015/05/17
Re: question about file mapping
Adam Lackorzynski
-
2015/05/17
Re: Increase IPC-Stream size
Adam Lackorzynski
-
2015/05/17
Re: anything wrong when call Thread::do_ipc?
Adam Lackorzynski
-
2015/05/17
Re: the Thread::do_ipc's parameter
Adam Lackorzynski
-
2015/05/17
Re: Utcb in syscall
Adam Lackorzynski
-
2015/05/17
Re: Fiasco.OC-UX and recent Linux kernels
Adam Lackorzynski
-
2015/05/15
Re: l4-hackers Digest, Vol 145, Issue 7
Reinier Millo Sánchez
-
2015/05/13
Booting error in L4android for Exynos 5250.
Youren Shen
-
2015/05/13
Question about ext2 in Fiasco/L4re
yang . wei9
-
2015/05/13
Question about RCU subsystem in Fiasco kernel.
deng . chao1
-
2015/05/12
question about file mapping
yang . wei9
-
2015/05/12
Re: Increase IPC-Stream size
ba_f
-
2015/05/11
anything wrong when call Thread::do_ipc?
watermirror
-
2015/05/11
the Thread::do_ipc's parameter
watermirror