l4-hackers

l4-hackers@os.inf.tu-dresden.de
  • 2 participants
  • 2880 discussions

27 Apr '13
l4linux and sysenter
by Ryan Brown 24 Apr '13

24 Apr '13
How to start 2 or more VMs
by Chao-Jui Chang 18 Apr '13

18 Apr '13
Question about L4/Fiasco
by Samir Boulhram 17 Apr '13

17 Apr '13
l4re compilation order
by gaober 16 Apr '13

16 Apr '13
Ring 0 task
by Daniel Waddington - SISA 15 Apr '13

15 Apr '13
ptrace
by Ryan Brown 15 Apr '13

15 Apr '13
RCU performance
by Christian Prochaska 11 Apr '13

11 Apr '13

08 Apr '13
How to access SD card on ARM board
by Chao-Jui Chang 08 Apr '13

08 Apr '13
Re: how to debug fiasco kernel
by Björn Döbel 07 Apr '13

07 Apr '13
Re: how to debug fiasco kernel
by Martin Unzner 07 Apr '13

07 Apr '13
how to debug fiasco kernel
by Keqin Sun 01 Apr '13

01 Apr '13

27 Mar '13
repomgr log
by Jack Andrews 19 Mar '13

19 Mar '13
Merging sigma0 and roottask
by Norman Feske 19 Mar '13

19 Mar '13

18 Mar '13
how to compiler
by fiasco 17 Mar '13

17 Mar '13
How to compiler DROPS
by fiasco 11 Mar '13

11 Mar '13
boot image
by fiasco 11 Mar '13

11 Mar '13

05 Mar '13
Genode OS Framework version 13.02 released
by Sebastian Sumpf 03 Mar '13

03 Mar '13
Re: Fiasco.OC performance issues
by Sebastian Sumpf 03 Mar '13

03 Mar '13

02 Mar '13

01 Mar '13

27 Feb '13

27 Feb '13
FYI: Visions on Genode OS development
by Christian Helmuth 18 Feb '13

18 Feb '13
Re: How to add EXYNOS platform support
by Chao-Jui Chang 18 Feb '13

18 Feb '13
How to add EXYNOS platform support
by Chao-Jui Chang 13 Feb '13

13 Feb '13

13 Feb '13
Debug: how to enumerate all kernel objects
by Евгений Федотов 07 Feb '13

07 Feb '13
About JDB non-interactive commands
by Евгений Федотов 04 Feb '13

04 Feb '13
Fiasco.OC interrupt handling
by Daniel Waddington 29 Jan '13

29 Jan '13

29 Jan '13
Fiasco.OC performance issues
by Sebastian Sumpf 29 Jan '13

29 Jan '13
Re: Launching NOVA on QEMU
by Alexander Boettcher 26 Jan '13

26 Jan '13
Launching NOVA on QEMU
by oleg 25 Jan '13

25 Jan '13
About java support on L4linux
by Wajidali Whowe 25 Jan '13

25 Jan '13
accessing msrs
by Ryan Brown 16 Jan '13

16 Jan '13
Kernel unit tests
by Bryce Cronkite-Ratcliff 09 Jan '13

09 Jan '13
No known ld emulation found
by Torsten Rüger 25 Dec '12

25 Dec '12
Raspberry pi ?
by Torsten Rüger 25 Dec '12

25 Dec '12
L4linux on virtual box
by FU_LONG 13 Dec '12

13 Dec '12

10 Dec '12

07 Dec '12
how to use initramfs with l4linux
by Ryan Brown 06 Dec '12

06 Dec '12
error of building fiasco.OC
by FU_LONG 04 Dec '12

04 Dec '12
apic
by Ryan Brown 03 Dec '12

03 Dec '12

03 Dec '12
App on L4Re
by OSDepend 30 Nov '12

30 Nov '12
7 14
0 0
Qusestion about building L4Re
by FU_LONG 30 Nov '12

30 Nov '12

27 Nov '12
Question about L4Linux
by OSDepend 26 Nov '12

26 Nov '12

25 Nov '12

23 Nov '12
Problem with "luaopen_Io"
by Death Jester 21 Nov '12

21 Nov '12
l4linux kernel as input server
by Wajidali Whowe 21 Nov '12

21 Nov '12

21 Nov '12

19 Nov '12
Touchscreen
by Wajidali Whowe 15 Nov '12

15 Nov '12
5 20
0 0
Fiasco.OC Kernel Semaphores r38->r40
by Daniel Waddington 14 Nov '12

14 Nov '12
how to run the vm-tz example?
by 朱振 14 Nov '12

14 Nov '12
Re: Trustzone Dual-OS
by meng-qy 14 Nov '12

14 Nov '12
Trustzone Dual-OS
by meng-qy 12 Nov '12

12 Nov '12
bootstrapper error
by Ryan Brown 10 Nov '12

10 Nov '12
bug report: compile about l4re
by Wangjintang 06 Nov '12

06 Nov '12
Compiling l4re on ubuntu 12.10
by Ali Nehzat 05 Nov '12

05 Nov '12
1G memory for L4Linux on Panda
by Владимир Шилкин 01 Nov '12

01 Nov '12
how to get Task
by 朱振 01 Nov '12

01 Nov '12
Page Fault on real hardware
by Wajidali Whowe 31 Oct '12

31 Oct '12

30 Oct '12

30 Oct '12

29 Oct '12
Build of ipcmon under Ubuntu 12.04
by Dustin Oprea 11 Oct '12

11 Oct '12
Re: Build of ipcmon under Ubuntu 12.04
by Dustin Oprea 11 Oct '12

11 Oct '12
About ARM11 support
by james 10 Oct '12

10 Oct '12
Re: Fiasco.oc & trustzone
by Nikolay Golikov 24 Sep '12

24 Sep '12
problem booting L4Linux
by Death Jester 24 Sep '12

24 Sep '12
Fiasco.oc & trustzone
by Nikolay Golikov 20 Sep '12

20 Sep '12
Board-specific devices in L4Linux
by Dmitry Shubin 20 Sep '12

20 Sep '12
omap4.dev config file for PandaBoard
by sebastian.eckl@mytum.de 19 Sep '12

19 Sep '12
a question about L4_MAP_ITEM_GRANT
by Chen Tian 13 Sep '12

13 Sep '12
Startup help for L4Linux
by Andrej S 12 Sep '12

12 Sep '12
Mapping physical mem region
by Nikolay Golikov 12 Sep '12

12 Sep '12
Fiasco.OC (rev. 40) Pandaboard support
by Stefan Kalkowski 07 Sep '12

07 Sep '12
l4linux filesystem under fiasco-ux
by Ryan Brown 27 Aug '12

27 Aug '12

23 Aug '12
Local APIC address and MSI address
by Chen Tian 22 Aug '12

22 Aug '12
i.mx53 and fiasco.oc
by Nikolay Golikov 22 Aug '12

22 Aug '12

22 Aug '12

18 Aug '12
dma memory mapping
by Chen Tian 18 Aug '12

18 Aug '12
input signal
by gaober 17 Aug '12

17 Aug '12
L4Re/Fiasco IO memory map.
by Daniel Waddington 15 Aug '12

15 Aug '12
Fiasco-for ppc32
by Vishal Gupta 15 Aug '12

15 Aug '12
NUL_problem
by oleg 15 Aug '12

15 Aug '12
Re: NUL_problem
by oleg 14 Aug '12

14 Aug '12
NUL_problem
by oleg 14 Aug '12

14 Aug '12
Problem Booting x86_64 kernel in qemu
by Markus Pfeiffer 12 Aug '12

12 Aug '12

10 Aug '12
i.MX53QSB port + IOmem access
by Andy Wagner 08 Aug '12

08 Aug '12
i.MX53QSB port + IOmem access
by Andy Wagner 07 Aug '12

07 Aug '12
Re: Ethernet device
by Matthias Lange 07 Aug '12

07 Aug '12
i.MX53QSB port + IOmem access
by Andy Wagner 06 Aug '12

06 Aug '12
Ethernet device
by Wajidali Whowe 06 Aug '12

06 Aug '12
i.MX53QSB port + IOmem access
by Andy Wagner 05 Aug '12

05 Aug '12
Re: l4-hackers Digest, Vol 112, Issue 3
by raylei0825ssdut 03 Aug '12

03 Aug '12
vcpu example problem
by 雷雷健 02 Aug '12

02 Aug '12
Re: l4 build problem on Intel Atom 330
by Anand Mayuresh Vivekanad 01 Aug '12

01 Aug '12
Questions about IO-APIC
by Chen Tian 28 Jul '12

28 Jul '12
l4 build problem on Intel Atom 330
by Anand Mayuresh Vivekanad 26 Jul '12

26 Jul '12
About Inter-process Communication
by ZhangEditing 24 Jul '12

24 Jul '12
SATA AHCI driver head banging.
by Daniel Waddington 23 Jul '12

23 Jul '12
Re: l4linux GPU direct access
by Abhishek Gupta 23 Jul '12

23 Jul '12
GHC on L4RE
by Henri Chapelle 17 Jul '12

17 Jul '12
Build an hybrid program
by Pierre Larus 13 Jul '12

13 Jul '12
L4Android performance issue
by Haohui Mai 13 Jul '12

13 Jul '12
L4Re GUI
by Robert Campbell 12 Jul '12

12 Jul '12
problem about ipc
by gaober 11 Jul '12

11 Jul '12
Re: l4linux GPU direct access
by Abhishek Gupta 11 Jul '12

11 Jul '12
Questions about L4 virtual machines
by ZhangEditing 09 Jul '12

09 Jul '12
Tasks priority and time slice
by Pierre Larus 09 Jul '12

09 Jul '12
bbclone fbdrv lcd problem
by gaober 09 Jul '12

09 Jul '12
Re: l4linux GPU direct access
by Abhishek Gupta 09 Jul '12

09 Jul '12
problem about ipc
by gaober 09 Jul '12

09 Jul '12
L4Android effort appreciated
by John van V. 07 Jul '12

07 Jul '12
Mount SD card partition as rootfs
by Pierre Larus 04 Jul '12

04 Jul '12
Startup help for L4Linux
by Andrej S 02 Jul '12

02 Jul '12
l4linux, making progress
by Ryan Brown 28 Jun '12

28 Jun '12
starting mag in l4con virtual console
by Valery V. Sedletski 28 Jun '12

28 Jun '12

27 Jun '12
l4con
by Valery V. Sedletski 25 Jun '12

25 Jun '12
how to build L4android for ARM?
by Jay Yao 24 Jun '12

24 Jun '12

24 Jun '12
Re: l4-hackers Digest, Vol 110, Issue 18
by Robert Campbell 24 Jun '12

24 Jun '12
Keeping track of the CPU time for a thread
by Mohammad A Haque 24 Jun '12

24 Jun '12
Re: l4linux GPU direct access
by Abhishek Gupta 21 Jun '12

21 Jun '12
L4 Driver Security
by Tobias Fink 20 Jun '12

20 Jun '12
Re: l4linux GPU direct access
by Abhishek Gupta 19 Jun '12

19 Jun '12
Re: L4Android on Pandaboard
by Matthias Lange 19 Jun '12

19 Jun '12
Re: L4Android on Pandaboard
by Matthias Lange 19 Jun '12

19 Jun '12
Re: l4-hackers Digest, Vol 110, Issue 14
by Abhishek Gupta 18 Jun '12

18 Jun '12
L4Android on Pandaboard
by ZhangEditing 17 Jun '12

17 Jun '12
Re: l4linux GPU direct access
by Abhishek Gupta 16 Jun '12

16 Jun '12

15 Jun '12
IPC between Tasks
by Tobias Fink 15 Jun '12

15 Jun '12
Connect two devices to vbus
by Pierre Larus 13 Jun '12

13 Jun '12

13 Jun '12
I have a question about l4linux
by Ednilson Ricardo 11 Jun '12

11 Jun '12

11 Jun '12
l4 linux questions
by Ryan Brown 11 Jun '12

11 Jun '12
Hardware irq and vcpu entry
by Pierre Larus 11 Jun '12

11 Jun '12
l4linux GPU direct access
by Abhishek Gupta 07 Jun '12

07 Jun '12
Fiasco.OC: sigma0 stucks in ipc-path
by Stefan kalkowski 07 Jun '12

07 Jun '12

03 Jun '12
I have a question about L4Linux
by Ednilson Ricardo 03 Jun '12

03 Jun '12
Debugging l4linux + l4re
by Haohui Mai 03 Jun '12

03 Jun '12
Ankh network
by Johan Dams 31 May '12

31 May '12
PowerPC support
by G S Madhusudan 31 May '12

31 May '12
Using pthread on L4/Fiasco
by 석현철 23 May '12

23 May '12
Using pthread on L4/Fiasco
by 석현철 23 May '12

23 May '12

18 May '12
Booting L4/Fiasco + L4Re on PC
by 석현철 16 May '12

16 May '12
Re: understanding l4re
by Björn Döbel 15 May '12

15 May '12
Source of KVM-L4 ?
by Rolf Sommerhalder 14 May '12

14 May '12
4 12
0 0
Fiasco.OC on Cortex-A9
by Johan Dams 12 May '12

12 May '12
understanding l4re
by Ryan Brown 11 May '12

11 May '12
[ankh+l4linux] Doesn't work
by Timur 03 May '12

03 May '12
Re: Running Fiasco.OC in Bochs
by Norman Feske 01 May '12

01 May '12
Re: Fwd: Running Fiasco.OC in Bochs
by Martin Unzner 29 Apr '12

29 Apr '12
Running Fiasco.OC in Bochs
by Norman Feske 28 Apr '12

28 Apr '12
Performance of l4_task_unmap call
by Chen Tian 26 Apr '12

26 Apr '12
Bootfs got overwritten
by Haohui Mai 26 Apr '12

26 Apr '12
Re: Fiasco.OC development status
by Robert Campbell 24 Apr '12

24 Apr '12

22 Apr '12
Windows in QEMU on KVM-L4
by Rolf Sommerhalder 22 Apr '12

22 Apr '12
l4_task_cap_equal broken?
by Stefan kalkowski 20 Apr '12

20 Apr '12
Fiasco.OC development status
by QiuYi 19 Apr '12

19 Apr '12

18 Apr '12
shmc/l4shmnet improvements
by Stefan Fritsch 17 Apr '12

17 Apr '12

17 Apr '12
Questions about Vcon.
by Juwon.Song 13 Apr '12

13 Apr '12
Re: Fiasco.OC development status
by Robert Campbell 12 Apr '12

12 Apr '12
Bind irq to icu failed
by Shashi Sharma 09 Apr '12

09 Apr '12
Can't get sender from l4_ipc_wait()
by Mai, Haohui 08 Apr '12

08 Apr '12
Tracing only write page-faults
by Ivan Bludov 08 Apr '12

08 Apr '12

05 Apr '12
Results per page: