l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
Re: Graphical desktop, l4con, mag
by Leslie Zhai 04 Jun '17

04 Jun '17
Re: Graphical desktop, l4con, mag
by Leslie Zhai 02 Jun '17

02 Jun '17

02 Jun '17
4 10
0 0
Graphical desktop, l4con, mag
by teclis High Elf 02 Jun '17

02 Jun '17
6 15
0 0

02 Jun '17
Benchmarks in l4
by Maxim Baryshnikov 01 Jun '17

01 Jun '17
4 11
0 0
Re: libfs/ FUSE on L4Re
by Leslie Zhai 01 Jun '17

01 Jun '17
libfs/ FUSE on L4Re
by Stark, Josef 31 May '17

31 May '17
Microkernel + Alumni Meetup
by Bjoern Doebel 30 May '17

30 May '17
Share exist memory over IPC with L4Re
by Alexander Fratzer 16 May '17

16 May '17
Fiasco.OC: null-pointer dereference?
by Stefan Kalkowski 09 May '17

09 May '17
Trying to build L4 on NixOS
by Mateusz Czaplinski 09 Apr '17

09 Apr '17

02 Apr '17
4 13
0 0
L4linux __raw_writesl/readl undefined
by Manolis Ragkousis 01 Apr '17

01 Apr '17

21 Mar '17

05 Mar '17
read/write to virtual address
by Daniel Krefft 17 Feb '17

17 Feb '17
About l4linux debug method
by li94575 17 Jan '17

17 Jan '17
Memory usage analysis and optimization
by Jesse-SC Chou (周書正) 20 Dec '16

20 Dec '16
About IO server settings for DMA in L4Linux
by Jesse-SC Chou (周書正) 13 Dec '16

13 Dec '16
fiasco.oc i.MX7d port
by Marc CHALAND 14 Oct '16

14 Oct '16

09 Oct '16
Partitioned Scheduling
by Edinger, Stefan 09 Sep '16

09 Sep '16
l4_thread_ex_regs and suspending thread
by Valery V. Sedletski 16 Aug '16

16 Aug '16
4 12
0 0

08 Aug '16
memory map/unmap performance
by Yuxin Ren 02 Aug '16

02 Aug '16
USDHC driver for i.MX6
by AIT HMID Moha 29 Jul '16

29 Jul '16
l4linux panic on iMX6SX
by AIT HMID Moha 29 Jul '16

29 Jul '16
Question: The future of Fiasco & L4Re
by Ratko Rudič 18 Jul '16

18 Jul '16
l4re programming language support
by Michael Schnupp 12 Jul '16

12 Jul '16
building fiasco on alpine linux
by Michael Schnupp 27 Jun '16

27 Jun '16
Cross-compiling L4Re for MIPS32
by Paul Boddie 22 Jun '16

22 Jun '16
2 10
0 0

13 Jun '16
Re: l4-hackers Digest, Vol 157, Issue 10
by Иван Филиппов 28 May '16

28 May '16
L4Re Release
by Adam Lackorzynski 27 May '16

27 May '16
Flexpage: shared Mem
by ba_f 23 May '16

23 May '16
Question about Fiasco.OC support for SPARC
by deng.chao1@zte.com.cn 12 May '16

12 May '16
Task Priority Setting
by Nourhan Mohamed 02 May '16

02 May '16
Question about ARM LPAE
by li94575 07 Apr '16

07 Apr '16
Bootstrap in real mode on x86_64: Possible?
by Maxim Baryshnikov 05 Apr '16

05 Apr '16
Microkernel Meetup
by Bjoern Doebel 03 Apr '16

03 Apr '16
Booting L4Linux on Raspberry Pi 2
by Antoine DEBUT 21 Mar '16

21 Mar '16
Problems running example isr
by Nourhan Mohamed 21 Mar '16

21 Mar '16
Fwd: 'Illegal Instruction' on L4Linux
by Alexander Tarasikov 18 Mar '16

18 Mar '16

15 Mar '16
FYI: microkernel.info community site
by Jakub Jermář 14 Mar '16

14 Mar '16
Running the Bro IDS on an ARMv7 board.
by Mahdi Aichouch 03 Mar '16

03 Mar '16

01 Mar '16
L4Linux with IPC
by Ahmed Makkawi 25 Feb '16

25 Feb '16
Compiling GPIO drivers for L4Linux
by Nourhan Mohamed 23 Feb '16

23 Feb '16
GPIO access on L4Linux
by Nourhan Mohamed 08 Feb '16

08 Feb '16
Running L4linux as a server
by Ahmed Makkawi 05 Feb '16

05 Feb '16
L4Linux LKM
by Nourhan Mohamed 04 Feb '16

04 Feb '16
Building kernel modules for L4Linux
by Nourhan Mohamed 02 Feb '16

02 Feb '16

01 Feb '16

27 Jan '16
Setting up network in L4Linux
by Nourhan Mohamed 26 Jan '16

26 Jan '16

22 Jan '16
How can I get L4linux 3.10 code?
by liu.xiaodong2@zte.com.cn 19 Jan '16

19 Jan '16
Hiring engineers for seL4 work
by Gernot Heiser 12 Jan '16

12 Jan '16
6 25
0 0

04 Jan '16
2 37
0 0
L4Re Update
by Adam Lackorzynski 04 Jan '16

04 Jan '16
Performance of L4
by Patrick Staeblein 28 Dec '15

28 Dec '15
Serial console not working
by Lluís Vilanova 22 Dec '15

22 Dec '15
Problem with Hello app on Zedboard
by Manolis Ragkousis 14 Dec '15

14 Dec '15
real time app on l4linux
by cem akpolat 14 Dec '15

14 Dec '15

28 Nov '15

28 Nov '15
Qt on L4
by Nancy Joshua 27 Nov '15

27 Nov '15
QT on L4re
by Nancy 27 Nov '15

27 Nov '15

06 Nov '15
Microkernel Meetup
by Bjoern Doebel 02 Nov '15

02 Nov '15
Application on top of L4re
by Yuxin Ren 27 Oct '15

27 Oct '15
make clean (really!)
by ba_f 12 Oct '15

12 Oct '15
Re: make uimage error
by Shabnam Engineer 05 Oct '15

05 Oct '15
Error when building L4RE
by Mahdi Aichouch 29 Sep '15

29 Sep '15
l4linux building error
by Shabnam Engineer 21 Sep '15

21 Sep '15
make uimage error
by Shabnam Engineer 14 Sep '15

14 Sep '15
make error
by Shabnam Engineer 31 Aug '15

31 Aug '15
Question about JDB in Fiasco
by yang.wei9@zte.com.cn 30 Aug '15

30 Aug '15

24 Aug '15
using math lua module
by AVK 16 Aug '15

16 Aug '15
Re: porting linux driver in Fiasco.OC
by Shabnam Engineer 10 Aug '15

10 Aug '15

31 Jul '15
porting linux driver in Fiasco.OC
by Shabnam Engineer 30 Jul '15

30 Jul '15
Fiasco.OC device driver
by Shabnam Engineer 22 Jul '15

22 Jul '15
issues in building l4re
by AVK 20 Jul '15

20 Jul '15

19 Jul '15

16 Jul '15
Problem in final step
by Vlad Sof 16 Jul '15

16 Jul '15

07 Jul '15
TrustZone example on i.MX6
by Markku Ahvenjärvi 07 Jul '15

07 Jul '15
5 29
0 0

06 Jul '15
3 12
0 0

30 Jun '15
Open source development
by teclis High Elf 26 Jun '15

26 Jun '15
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
by Reinier Millo Sánchez 25 Jun '15

25 Jun '15

25 Jun '15
why fiasco use -fno-rtti compile option?
by liu.xiaodong2@zte.com.cn 25 Jun '15

25 Jun '15

09 Jun '15
Thread monitoring
by Biermans Joeri 09 Jun '15

09 Jun '15

03 Jun '15
Booting error of L4Linux enabled SMP surpport
by Xiefeng (Stephen) 29 May '15

29 May '15
Boot L4Linux Error
by 刘海剑 28 May '15

28 May '15

28 May '15
Utcb in syscall
by watermirror 27 May '15

27 May '15

27 May '15

27 May '15
Kobject_h::invoke
by watermirror 27 May '15

27 May '15
Re: l4-hackers Digest, Vol 145, Issue 7
by Reinier Millo Sánchez 26 May '15

26 May '15

19 May '15
Fiasco.OC-UX and recent Linux kernels
by Paul Boddie 18 May '15

18 May '15

18 May '15
Question about ext2 in Fiasco/L4re
by yang.wei9@zte.com.cn 17 May '15

17 May '15
Question about RCU subsystem in Fiasco kernel.
by deng.chao1@zte.com.cn 17 May '15

17 May '15
question about file mapping
by yang.wei9@zte.com.cn 17 May '15

17 May '15

17 May '15
the Thread::do_ipc's parameter
by watermirror 17 May '15

17 May '15
Fiasco & L4 boot performance
by Arttu Pulli 11 May '15

11 May '15
Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
by Reinier Millo Sánchez 11 May '15

11 May '15

10 May '15
about Ram_quota
by watermirror 08 May '15

08 May '15
Static_object::construct
by watermirror 08 May '15

08 May '15
Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
by Reinier Millo Sánchez 04 May '15

04 May '15

04 May '15
2 19
0 0
context::regs
by watermirror 03 May '15

03 May '15

28 Apr '15
about sysenter
by watermirror 28 Apr '15

28 Apr '15

28 Apr '15

28 Apr '15

25 Apr '15
(no subject)
by deng.chao1@zte.com.cn 24 Apr '15

24 Apr '15
where is the call_bootstrap?
by 水镜 24 Apr '15

24 Apr '15

23 Apr '15
How L4Linux Linked the header file?
by Youren Shen 23 Apr '15

23 Apr '15

23 Apr '15

23 Apr '15

20 Apr '15

19 Apr '15
Re: Using a second UART to control a serial device
by Reinier Millo Sánchez 18 Apr '15

18 Apr '15

17 Apr '15
the kernel's output
by 水镜 17 Apr '15

17 Apr '15
the ldscripts of L4Re
by 水镜 16 Apr '15

16 Apr '15

16 Apr '15
mmu in bootstrap
by 水镜 16 Apr '15

16 Apr '15
IPC stream magic
by teclis High Elf 11 Apr '15

11 Apr '15
Re: ARM with Qemu
by Nicolas VARONA 09 Apr '15

09 Apr '15
2 12
0 0

09 Apr '15

08 Apr '15

07 Apr '15
Microkernel Meetup
by Björn Döbel 04 Apr '15

04 Apr '15
Denial of service in microkernel
by Gayathri Nagarajan 01 Apr '15

01 Apr '15
Fiasco testcase And L4RE API
by cui.yunfeng@zte.com.cn 31 Mar '15

31 Mar '15
(no subject)
by zhou.li9@zte.com.cn 31 Mar '15

31 Mar '15
L4 and Lua interaction
by daniel krefft 30 Mar '15

30 Mar '15

24 Mar '15

24 Mar '15

24 Mar '15
Help with RaspberryPI USB on Fiasco.OC+Genode
by Reinier Millo Sánchez 23 Mar '15

23 Mar '15

23 Mar '15
Moe::Boot_fs::init_stage1()
by 水镜 22 Mar '15

22 Mar '15
the editor for Fiasco.OC
by cui.yunfeng@zte.com.cn 19 Mar '15

19 Mar '15
L4Re Hello World Qemu vs Hardware
by André Bispo 17 Mar '15

17 Mar '15
Checkpoint/Restore on L4Re
by Stark, Josef 16 Mar '15

16 Mar '15
Running a task without region manager
by Stark, Josef 16 Mar '15

16 Mar '15
Disable log color
by teclis High Elf 16 Mar '15

16 Mar '15

13 Mar '15
dde kit
by Daniel Krefft 13 Mar '15

13 Mar '15
Re: Porting Fiasco.OC to RISC-V - Questions
by Hesham ALMatary 12 Mar '15

12 Mar '15
Porting Fiasco.OC to RISC-V - Questions
by Hesham ALMatary 12 Mar '15

12 Mar '15
3 16
0 0
add new package
by 水镜 11 Mar '15

11 Mar '15
seL4 and mysql
by André Bispo 06 Mar '15

06 Mar '15

05 Mar '15

05 Mar '15
ARM with Qemu
by Nicolas VARONA 04 Mar '15

04 Mar '15

04 Mar '15
Blocking Read
by teclis High Elf 02 Mar '15

02 Mar '15
Troubles testing UART3 on Exynos5
by Reinier Millo Sánchez 27 Feb '15

27 Feb '15
Re: Ethernet on l4linux
by taeung 27 Feb '15

27 Feb '15
Results per page: