l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions
libgendep on Ubuntu 11.10
by Christian Helmuth 03 Apr '12

03 Apr '12

02 Apr '12
ARM and PCI?
by Stefan Fritsch 02 Apr '12

02 Apr '12
Granting flex pages in Fiasco.OC / L4Re
by Daniel Waddington 30 Mar '12

30 Mar '12
TUD:OS releases DDEKit/Linux
by Hannes Weisbach 30 Mar '12

30 Mar '12
[l4linux+ankh] no eth0
by Timur 26 Mar '12

26 Mar '12
Re: Issues with booting L4Linux
by Adam Lackorzynski 26 Mar '12

26 Mar '12
Trustzone & Fiasco.OC
by Stefan Kalkowski 23 Mar '12

23 Mar '12
Issues with booting L4Linux
by Oliver Horst 22 Mar '12

22 Mar '12
how to start wget example?
by Timur 22 Mar '12

22 Mar '12
Fiasco.OC development status
by Robert Campbell 21 Mar '12

21 Mar '12
APIC trigger mode
by Sebastian Sumpf 20 Mar '12

20 Mar '12
help l4linux dma usage
by jangwoo 20 Mar '12

20 Mar '12
Ankh with l4Linux
by Shashi Sharma 15 Mar '12

15 Mar '12
NFS boot
by Sartakov A. Vasily 15 Mar '12

15 Mar '12
Re: PowerPC support
by Adam Lackorzynski 05 Mar '12

05 Mar '12
Serial console with qemu/realview-eb
by Mehdi AICHOUCH 05 Mar '12

05 Mar '12
page mapping in l4linux
by jangwoo 01 Mar '12

01 Mar '12
Serial console with qemu/realview-eb
by Mehdi AICHOUCH 01 Mar '12

01 Mar '12
PowerPC support
by Oliver Horst 29 Feb '12

29 Feb '12
IRET returned message
by Julian Vetter 16 Feb '12

16 Feb '12

15 Feb '12
L4Linux direct access
by Riccardo Cecolin 09 Feb '12

09 Feb '12
Serial console with qemu/realview-eb
by Stefan Fritsch 07 Feb '12

07 Feb '12
Sharing I/O Memory
by Wesley Miaw 01 Feb '12

01 Feb '12

29 Jan '12
Fiasco.OC x86 IO port permission bitmap
by Daniel Waddington 27 Jan '12

27 Jan '12

18 Jan '12

16 Jan '12
L4Re build system
by Ivan Loskutov 09 Jan '12

09 Jan '12
Initial environnement issue
by Julien SIMONE 02 Jan '12

02 Jan '12
openssl port
by Ivan Loskutov 02 Jan '12

02 Jan '12
Build L4Re on amd64
by BratSinot aka Куршамбай 19 Dec '11

19 Dec '11
Building l4con lib and examples
by Adi Lima 15 Dec '11

15 Dec '11
Need help on l4_msgtag_has_error
by Chen Tian 10 Dec '11

10 Dec '11
Using fbterminal with L4Con
by Adi Lima 09 Dec '11

09 Dec '11
Cannot show fbterminal
by Adi Lima 06 Dec '11

06 Dec '11
l4shmnet bug fixed
by Matthias Petschick 02 Dec '11

02 Dec '11
Minimal Fiasco Testing Setup
by Bryce Cronkite-Ratcliff 02 Dec '11

02 Dec '11
shmc bug fixes
by Stefan Fritsch 02 Dec '11

02 Dec '11
Getty over L4 shared memory
by Julian Vetter 01 Dec '11

01 Dec '11
Genode OS Framework 11.11 released
by Stefan Kalkowski 29 Nov '11

29 Nov '11

27 Nov '11
Re: omap3 usb platform and other
by Sartakov A. Vasily 27 Nov '11

27 Nov '11

27 Nov '11
L4Linux modules PB11MPCORE
by Varun Ganesh 20 Nov '11

20 Nov '11
L4Linux on PB11MPCORE boot hangs at
by Varun Ganesh 17 Nov '11

17 Nov '11
kernel.ld.arm virt_address
by Wesley Miaw 10 Nov '11

10 Nov '11

10 Nov '11
Booting multiple instances of L4 Linux
by Julien SIMONE 08 Nov '11

08 Nov '11
Problem booting L4 on Sheevaplug
by Julian Vetter 08 Nov '11

08 Nov '11
L4CON with client
by Peter Hanzel 08 Nov '11

08 Nov '11
Disko UI Framework porting
by Ivan Loskutov 05 Nov '11

05 Nov '11
omap3 usb platform and other
by Vasily Sartakov 02 Nov '11

02 Nov '11
Problem booting L4Linux
by Julian Vetter 22 Oct '11

22 Oct '11
omap3 board config files
by Vasily Sartakov 21 Oct '11

21 Oct '11
omap3 platform drivers
by Vasily Sartakov 21 Oct '11

21 Oct '11
Running L4 linux on Beagle board
by Julien SIMONE 20 Oct '11

20 Oct '11
Mouse and keyboard on L4Android
by Giorgio Wicklein 19 Oct '11

19 Oct '11

19 Oct '11
l4sigma0_map_iomem Allowed Addresses
by Wesley Miaw 18 Oct '11

18 Oct '11

17 Oct '11

17 Oct '11
2 16
0 0

13 Oct '11
Problem with l4linux on real hardware
by Shashi Sharma 07 Oct '11

07 Oct '11
Ankh examples
by Ivan Loskutov 05 Oct '11

05 Oct '11

05 Oct '11
Building L4Re
by BratSinot aka Куршамбай 03 Oct '11

03 Oct '11
l4 task map in different factory.
by Chen Tian 02 Oct '11

02 Oct '11
L4 courses
by Slex Sangiuliano 23 Sep '11

23 Sep '11
VM API for TZ Decl != Impl
by Wesley Miaw 17 Sep '11

17 Sep '11
clntsrv example capabilities
by Wesley Miaw 17 Sep '11

17 Sep '11
pthread issue on ARM
by Ivan Loskutov 16 Sep '11

16 Sep '11

15 Sep '11
Re: Sigma0 raised exception on boot
by Wesley Miaw 14 Sep '11

14 Sep '11

13 Sep '11

12 Sep '11

12 Sep '11

11 Sep '11

10 Sep '11
loading boot task
by Chen Tian 09 Sep '11

09 Sep '11
L4Android bootstrap errors
by giowck 07 Sep '11

07 Sep '11
L4Android servicemanager segfault
by LeMay, Michael D 01 Sep '11

01 Sep '11
How can I destroy a kernel object
by Chen Tian 30 Aug '11

30 Aug '11
L4Android minor issue report
by giowck 29 Aug '11

29 Aug '11
Broken links in L4Re documentation
by Michal Sojka 24 Aug '11

24 Aug '11
Little fixup around pthreads
by Marc CHALAND 22 Aug '11

22 Aug '11

16 Aug '11
Building L4Re, make errors
by giowck 12 Aug '11

12 Aug '11
Test suite for Fiasco
by Bryce CR 11 Aug '11

11 Aug '11

07 Aug '11
Sigma0 raised exception on boot
by Anna Fischer 04 Aug '11

04 Aug '11
Dependencies
by Bryce CR 03 Aug '11

03 Aug '11
L4Linux and mmap
by Vasily Sartakov 03 Aug '11

03 Aug '11
L4Re Library Usage
by Wesley Miaw 30 Jul '11

30 Jul '11

28 Jul '11

28 Jul '11

26 Jul '11
transfer_msg_items
by Chen Tian 21 Jul '11

21 Jul '11
writing my own filesystem for L4
by Michal Schulz 19 Jul '11

19 Jul '11

18 Jul '11
write my own root task.
by Chen Tian 15 Jul '11

15 Jul '11
TLS on amd64
by Daniel Müller 15 Jul '11

15 Jul '11
Running the IO server
by Anna Fischer 12 Jul '11

12 Jul '11

08 Jul '11
Newbie question: L4Linux as a patch
by Pablo Chacin 07 Jul '11

07 Jul '11
Fiasco.OC Kernel symbolic debugger
by Daniel Waddington 06 Jul '11

06 Jul '11
L4 for amd64
by Daniel Müller 05 Jul '11

05 Jul '11
libc environment for l4linux
by Vasily Sartakov 04 Jul '11

04 Jul '11
Fiasco.OC
by Daniel Waddington 03 Jul '11

03 Jul '11
the booting error of l4linux
by cheng guanghui 02 Jul '11

02 Jul '11
pthread_exit in L4re
by Chen Tian 30 Jun '11

30 Jun '11
Nokia N900 and Fiasco.OC/l4re
by Valery V. Sedletski 29 Jun '11

29 Jun '11
bbclone fbdrv lcd problem
by Vasily Sartakov 24 Jun '11

24 Jun '11
RE: L4Re build error
by Slex Sangiuliano 19 Jun '11

19 Jun '11
L4Re build error
by Slex Sangiuliano 19 Jun '11

19 Jun '11
(no subject)
by Slex Sangiuliano 19 Jun '11

19 Jun '11

16 Jun '11

16 Jun '11
Pager in Fiasco.OC
by Chen Tian 15 Jun '11

15 Jun '11
Building L4Linux for ARM
by Anna Fischer 15 Jun '11

15 Jun '11
Twl4030 over I2C at BB clone with Fiasco.
by Vasily Sartakov 10 Jun '11

10 Jun '11

09 Jun '11
L4 on Qualcomm snapdragon chipset?
by Anna Fischer 07 Jun '11

07 Jun '11

01 Jun '11
utcb's address in Fiasco.OC
by Chen Tian 01 Jun '11

01 Jun '11
kmem_alloc: out of kernel memory
by David Silcott 30 May '11

30 May '11
Genode OS Framework 11.05 released
by Stefan Kalkowski 26 May '11

26 May '11
Questions about Pistachio
by Gregory 26 May '11

26 May '11
Pager in the Fiasco.OC.
by Chen Tian 25 May '11

25 May '11
building L4 x86 on cygwin
by joel nider 23 May '11

23 May '11

21 May '11
Freeze L4-thread of Fiasco.OC
by Ivan Bludov 20 May '11

20 May '11
JVM port for Fiasco.OC/L4Re
by Nuno Santos 17 May '11

17 May '11
build error: No rule to make target crtendS.o
by Guillaume Salagnac 17 May '11

17 May '11

11 May '11
Rename compund to compound
by Christian Ehrhardt 04 May '11

04 May '11

04 May '11
64 bit support in L4Linux
by Stefan Kalkowski 03 May '11

03 May '11
3 13
0 0

23 Apr '11
L4Linux (arm) - change CPU speed
by Siegfried Podesser 12 Apr '11

12 Apr '11
How to add more NIC drivers for ankh?
by Alexey Aizatullin 10 Apr '11

10 Apr '11
Increase L4linux ramdisk size ?
by Julien Heyman 07 Apr '11

07 Apr '11

05 Apr '11
Build errors in building L4re for ARM
by Rahul Ramasubramanian 04 Apr '11

04 Apr '11

24 Mar '11
Customizing L4Linux, on ARM/Beagleboard
by Julien Heyman 24 Mar '11

24 Mar '11

23 Mar '11
Fiasco.OC on amd64 Opteron 6000
by Daniel Waddington 16 Mar '11

16 Mar '11
L4Re + Bytecode Translation
by Michael Brooks 16 Mar '11

16 Mar '11

15 Mar '11

11 Mar '11
Samsung R&D - Full-time OS Researcher Position
by Daniel Waddington 10 Mar '11

10 Mar '11

09 Mar '11

07 Mar '11
Genode OS framework and kernel-specific features
by Valery V. Sedletski 05 Mar '11

05 Mar '11
Compiling l4re for BeagleBoard
by Ivan Bludov 04 Mar '11

04 Mar '11
thread creation help
by Jason Philip 27 Feb '11

27 Feb '11
L4Re: C++ or DICE for IPC
by Valery V. Sedletski 24 Feb '11

24 Feb '11
Boot into video mode with grub2
by Dan Haim 23 Feb '11

23 Feb '11

23 Feb '11
A few general questions about L4
by Maciej Katafiasz 22 Feb '11

22 Feb '11
Fiasco-oc l4linux
by David Leimbach 18 Feb '11

18 Feb '11

17 Feb '11

17 Feb '11
MP Fiasco.UX
by Daniel Waddington - SISA 15 Feb '11

15 Feb '11
None
by sasamy 14 Feb '11

14 Feb '11
can't interface I/O address Space
by Jason Philip 06 Feb '11

06 Feb '11
Fiasco.OC IPC performance
by Chen Tian 06 Feb '11

06 Feb '11
Can't access memory region
by Jason Philip 03 Feb '11

03 Feb '11

03 Feb '11
Fiasco.OC internals
by Amadeo Cuadrado 03 Feb '11

03 Feb '11
Public release of seL4
by Gernot Heiser 02 Feb '11

02 Feb '11
Fiasco Kernel extended V2 API vs. Pistachio X2 API
by Daniel Waddington - SISA 27 Jan '11

27 Jan '11
I cannot for the life of me compile l4linux
by Daniel F. Haaland 27 Jan '11

27 Jan '11
Processor compatibility
by Jason Philip 26 Jan '11

26 Jan '11
PCI Bus access
by Jason Philip 25 Jan '11

25 Jan '11
Privilege threads
by Jason Philip 24 Jan '11

24 Jan '11
PingPong not working
by Jason Philip 23 Jan '11

23 Jan '11

21 Jan '11
problem building L4Linux, comments welcome
by eric van tassell 19 Jan '11

19 Jan '11
demo cd question
by eric van tassell 17 Jan '11

17 Jan '11
Fiasco.OC for PowerPC
by Wes 16 Jan '11

16 Jan '11
Cannot determine L4 source directory
by eric van tassell 16 Jan '11

16 Jan '11
L4 fpages
by jason philip 16 Jan '11

16 Jan '11
neophyte startup question
by eric van tassell 16 Jan '11

16 Jan '11
Results per page: