l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
Multiple targets in one package
by Baruch Burstein 03 Dec '25

03 Dec '25
Sculpt 25.10 with Fiasco.OC kernel
by Alexander Boettcher 03 Nov '25

03 Nov '25

13 Oct '25
L4 Thread, pthread, comprehension question
by xudino@gmail.com 23 Sep '25

23 Sep '25

23 Sep '25

25 Jul '25

23 Jun '25
Upgrade issues. VM won't start.
by Richard Clark 23 Jun '25

23 Jun '25
6 17
0 0
Linux fails on startup looking for SMC
by Moshe Kravchik 22 Jun '25

22 Jun '25
2 14
0 0

09 Jun '25
Can't tcp into VM?
by Richard Clark 05 Jun '25

05 Jun '25
Real time application
by agaku03@gmail.com 28 May '25

28 May '25

22 May '25
lwip/virtio-net examples?
by Richard Clark 20 May '25

20 May '25
Re: l4-hackers Digest, Vol 246, Issue 9
by Torsten Wierschin 19 May '25

19 May '25
Re: Linux console?
by Adam Lackorzynski 16 Apr '25

16 Apr '25
L4Re running Chromium?
by Lonnie Cumberland via l4-hackers 14 Apr '25

14 Apr '25
Using L4 to run multiple Linux VMs
by Hübner, Andreas 14 Apr '25

14 Apr '25
Linux console?
by Richard Clark 14 Apr '25

14 Apr '25
Loading L4 after Uboot on ZynqMP
by mkravchik@hotmail.com 10 Apr '25

10 Apr '25
L4re RAM/Flash usage and scheduling timing Info
by Eric Miniere via l4-hackers 28 Mar '25

28 Mar '25
Trouble booting L4Re on PC hardware?
by Richard Clark 14 Mar '25

14 Mar '25
How to L4Re on the S32G
by qiang xu 27 Feb '25

27 Feb '25
4 25
0 0
saving configuration to version control
by Baruch Burstein 09 Feb '25

09 Feb '25

04 Feb '25
USB on L4RE
by Flavio Erlich 25 Jan '25

25 Jan '25
emmc-driver imx8mp
by Alvaro Gallardo 08 Jan '25

08 Jan '25
Network failure when high traffic
by Mohamed Dawod 05 Dec '24

05 Dec '24
Video Error Reasons?
by Lonnie Cumberland via l4-hackers 27 Nov '24

27 Nov '24
CPU Virtualization in L4
by Mohamed Dawod 25 Nov '24

25 Nov '24
Porting apps to L4Re?
by Lonnie via l4-hackers 18 Nov '24

18 Nov '24
Generating EFI files
by Lonnie Cumberland 13 Nov '24

13 Nov '24
vm-basic-pci demo testing
by Mohamed Dawod 13 Nov '24

13 Nov '24
Debugging memory allocation in L4Re
by Paul Boddie 11 Nov '24

11 Nov '24
Qemu Demos
by Lonnie Cumberland 11 Nov '24

11 Nov '24
Building Screenshots and examples
by Lonnie Cumberland 10 Nov '24

10 Nov '24

06 Nov '24

29 Oct '24
3 11
0 0
PCIe handling in virt arm64
by Mohamed Dawod 20 Oct '24

20 Oct '24
virtio disk handling
by Mohamed Dawod 09 Oct '24

09 Oct '24
sharing RTC device between 2 linux VMs
by Mohamed Dawod 03 Sep '24

03 Sep '24
23.10.1 amd64 l4linux doesn't build
by Richard Clark 12 Apr '24

12 Apr '24
uClibc and pthreads
by Pascal Scholz 25 Jan '24

25 Jan '24
Which C++ version does Fiasco use
by teclis High Elf 29 Dec '23

29 Dec '23

13 Nov '23

19 Sep '23
L4Re uvmm guest OS
by Radu Aron 22 Aug '23

22 Aug '23
ARM TrustZone with UVMM
by Michael Willig 11 Jun '23

11 Jun '23

21 May '23
3 12
0 0
building x86-32
by Lieutenant_Beaver@web.de 11 Mar '23

11 Mar '23

26 Jan '23

01 Oct '22

01 Oct '22
4 26
0 0

23 Sep '22
Build for x86_64 bare-metal machine
by Mincheol Sung 19 Sep '22

19 Sep '22
NXP LX2160 Uboot Fail
by rib0327 11 Sep '22

11 Sep '22

28 Aug '22

04 Jul '22

18 Apr '22
Where is the latest L4Linux repo?
by Haohui Mai 04 Mar '22

04 Mar '22
Unable to boot hello example.
by Ashwin Krishnakumar 05 Feb '22

05 Feb '22

05 Oct '21
l4re + rpi4 + mmc + vm + net
by Matthieu Fatrez 19 Sep '21

19 Sep '21
l4re + l4linux on aarch64 - raspi4
by Matthieu Fatrez 12 Sep '21

12 Sep '21
Change in l4re_rm_attach behaviour?
by Paul Boddie 28 Aug '21

28 Aug '21
L4Re on Raspi 3
by Yanneck Geiger 21 Jun '21

21 Jun '21
Resource sharing
by John Galt 04 Apr '21

04 Apr '21
Build tutorial for the Zynq Ultrascale+
by Jorge Miguel Perez Utrera 02 Apr '21

02 Apr '21

17 Mar '21
3 11
0 0

25 Jan '21
Fiasco.OC won't boot on Aaeon FWS2360 ...
by Andreas Steinmetzler 19 Dec '20

19 Dec '20
CfP: FOSDEM 2021 - Microkernel Devroom
by Martin Decky 08 Dec '20

08 Dec '20
Raspberry Pi SD access
by Mohamed Nasr 07 Oct '20

07 Oct '20
L4Linux with hardware access on amd64 PC ...
by Andreas Steinmetzler 31 Aug '20

31 Aug '20
uvmm support for AMD-V
by Andreas Steinmetzler 16 Jul '20

16 Jul '20
Access to Arm Trusted Firmware
by Stefan Kalkowski 14 Jul '20

14 Jul '20

29 Mar '20

06 Feb '20
4 11
0 0

12 Dec '19
Alignment checking on ARM
by Al Grant 26 Nov '19

26 Nov '19
Kernel Helpers segmentation fault
by Sateesh K 14 Nov '19

14 Nov '19
Fiasco.OC-UX on MIPS?
by Paul Boddie 30 Sep '19

30 Sep '19
4 11
0 0

09 Sep '19
Full virtualization on Raspberry PI 4
by clim atisefr 29 Aug '19

29 Aug '19
Porting Pistachio to Cell
by Tyson Key 22 Aug '19

22 Aug '19

29 Jul '19
kernel error
by ssrmurthy saka 04 Jul '19

04 Jul '19

28 Jun '19
5 26
0 0

24 Jun '19

17 Jun '19

11 Jun '19
Fwd: l4linux running lmbench
by yangzeng 29 May '19

29 May '19
L4linux startup problem
by yangzeng 20 May '19

20 May '19
L4Linux with L4Re and Fiasco.OC-UX
by Paul Boddie 04 Apr '19

04 Apr '19
Raspberry Pi 3B and L4Linux
by Dejan Cotra 27 Mar '19

27 Mar '19

19 Mar '19
Huawei R&D lab in Dresden
by Martin Decky 07 Mar '19

07 Mar '19

26 Feb '19

20 Feb '19

17 Feb '19
QEMU advent calendar
by Matthias Lange 21 Dec '18

21 Dec '18
New L4Re projects released
by Matthias Lange 20 Dec '18

20 Dec '18
UEFI L4 image?
by Peter Wiehe 26 Nov '18

26 Nov '18
UEFI
by Peter Wiehe 23 Nov '18

23 Nov '18

12 Oct '18

05 Oct '18
7 32
0 0
OS/Microkernel Engineers Wanted!
by Osman Ismael 02 Oct '18

02 Oct '18

21 Sep '18

21 Sep '18
High 32 bits of SFMASK is reserved
by Yuxuan Shui 20 Sep '18

20 Sep '18

17 Sep '18
L4linux booting problem on IMX.6 based board
by diming.zhang@gmail.com 04 Sep '18

04 Sep '18
Genode 18.08 brings modern hardware support
by Stefan Kalkowski 30 Aug '18

30 Aug '18

12 Aug '18

04 Jul '18

04 Jul '18
Release of Sculpt TC
by Alexander Boettcher 15 Jun '18

15 Jun '18
Issues about webserver on L4Re
by 李 鼎基 08 Jun '18

08 Jun '18

25 May '18

26 Mar '18

14 Mar '18

09 Mar '18
3 12
0 0

08 Mar '18

22 Feb '18

12 Feb '18
Microkernel and alumni meetup
by Matthias Lange 11 Feb '18

11 Feb '18
MIPS Creator CI20 patches (again)
by Paul Boddie 06 Feb '18

06 Feb '18
2 13
0 0

04 Feb '18
Build problems on i386 (Fiasco-OC.UX)
by Paul Boddie 30 Jan '18

30 Jan '18
Build problems on i386 (L4Re)
by Paul Boddie 30 Jan '18

30 Jan '18
OS Engineers Wanted!
by Gernot Heiser 30 Jan '18

30 Jan '18

22 Jan '18
3 11
0 0

10 Jan '18

10 Jan '18
L4Re and Meltdown / Spectre attacks
by Matthias Lange 08 Jan '18

08 Jan '18
Fiasco.OC port on Jailhouse
by Muneeswaran Rajendran 19 Dec '17

19 Dec '17
Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...
by Sathish Kumar Balasubramaniam -ERS, HCL Tech 18 Dec '17

18 Dec '17
Re: Add network device to L4Linux
by Yiyang Su 28 Nov '17

28 Nov '17
Porting Fiasco + L4Re to Raspberry Pi 2
by Antoine DEBUT 26 Nov '17

26 Nov '17

01 Nov '17
Problem with L4Linux accessing ethernet clocks
by Manolis Ragkousis 01 Nov '17

01 Nov '17
3 13
0 0
Add network device to L4Linux
by Yiyang Su 27 Oct '17

27 Oct '17

09 Oct '17

23 Sep '17
L4Linux network and SD Access
by Daniel (Xiaolong) Wang 19 Aug '17

19 Aug '17
5 19
0 0

26 Jul '17
uImage Load Address Issue
by Daniel (Xiaolong) Wang 23 Jul '17

23 Jul '17

22 Jul '17

21 Jul '17
3 12
0 0
Open a shell for a an individual task
by Hennebold, Christoph 08 Jul '17

08 Jul '17

08 Jul '17
Unit testing guidelines or resource
by jrodriguez@uns.edu.ar 05 Jul '17

05 Jul '17
Problem with L4re and L4Linux on Qemu/VMware
by Daniel (Xiaolong) Wang 27 Jun '17

27 Jun '17
IRQ objects
by David Werner 23 Jun '17

23 Jun '17
L4re and L4Linux Compatible issue
by Daniel (Xiaolong) Wang 21 Jun '17

21 Jun '17
L4re with L4Linux
by Daniel (Xiaolong) Wang 20 Jun '17

20 Jun '17

09 Jun '17

09 Jun '17
Re: About l4linux debug method
by Leslie Zhai 08 Jun '17

08 Jun '17

08 Jun '17
Re: About l4linux debug method
by Leslie Zhai 07 Jun '17

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

07 Jun '17
Re: Graphical desktop, l4con, mag
by Leslie Zhai 05 Jun '17

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

05 Jun '17
Results per page: