2016 Archives by thread

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

Starting: Mon Jan 4 15:53:22 CET 2016
Ending: Tue Dec 20 09:09:15 CET 2016
Messages: 227

L4Re Update ba_f
- L4Re Update Adam Lackorzynski
L4Linux Kernel module ba_f
- L4Linux Kernel module Adam Lackorzynski
  - L4Linux Kernel module ba_f
    - L4Linux Kernel module Adam Lackorzynski
    - L4Linux Kernel module ba_f
    - L4Linux Kernel module Adam Lackorzynski
Question about memory management in L4 Fiasco O.C + L4re Mahdi Aichouch
- Question about memory management in L4 Fiasco O.C + L4re Adam Lackorzynski
Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
- Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
  - Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
    - Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
    - Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
    - Fiasco-OC.UX, ux_con and the framebuffer examples Adam Lackorzynski
    - Fiasco-OC.UX, ux_con and the framebuffer examples Paul Boddie
How can I get L4linux 3.10 code? liu.xiaodong2 at zte.com.cn
- How can I get L4linux 3.10 code? Matthias Lange
Setting up network in L4Linux Nourhan Mohamed
- Setting up network in L4Linux Matthias Lange
  - Setting up network in L4Linux Nourhan Mohamed
    - Setting up network in L4Linux Matthias Lange
    - Setting up network in L4Linux Nourhan Mohamed
    - Setting up network in L4Linux Nourhan Mohamed
Device drivers and board support files Paul Boddie
- Device drivers and board support files Matthias Lange
'Illegal Instruction' on L4Linux ba_f
- Fwd: 'Illegal Instruction' on L4Linux Alexander Tarasikov
  - Fwd: 'Illegal Instruction' on L4Linux ba_f
  - L4Linux Driver + L4_ipc ba_f
    - L4Linux Driver + L4_ipc ba_f
Building kernel modules for L4Linux Nourhan Mohamed
- Building kernel modules for L4Linux Paul Boddie
  - Building kernel modules for L4Linux Nourhan Mohamed
L4Linux LKM Nourhan Mohamed
- L4Linux LKM karim.allah.ahmed at gmail.com
  - L4Linux LKM Nourhan Mohamed
    - L4Linux LKM karim.allah.ahmed at gmail.com
    - L4Linux LKM Nourhan Mohamed
    - L4Linux LKM Nourhan Mohamed
Running L4linux as a server Ahmed Makkawi
- Running L4linux as a server Matthias Lange
GPIO access on L4Linux Nourhan Mohamed
Compiling GPIO drivers for L4Linux Nourhan Mohamed
- Compiling GPIO drivers for L4Linux Matthias Lange
Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
- Porting Fiasco + L4Re to Raspberry Pi 2 Adam Lackorzynski
  - Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
    - Porting Fiasco + L4Re to Raspberry Pi 2 Antoine DEBUT
L4Linux with IPC Ahmed Makkawi
- L4Linux with IPC ba_f
  - L4Linux with IPC Ahmed Makkawi
Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
- Running the Bro IDS on an ARMv7 board. Adam Lackorzynski
- Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
  - Running the Bro IDS on an ARMv7 board. Matthias Lange
    - Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
    - Running the Bro IDS on an ARMv7 board. Mahdi Aichouch
Question about "TheGuide to access HW on L4Linux" Taeung Song
- Question about "TheGuide to access HW on L4Linux" Manolis Ragkousis
  - Question about "TheGuide to access HW on L4Linux" Taeung Song
Problems running example isr Nourhan Mohamed
- Problems running example isr Adam Lackorzynski
  - Problems running example isr Nourhan Mohamed
    - Problems running example isr Adam Lackorzynski
L4linux IPC communication with L4re application Ahmed Makkawi
- L4linux IPC communication with L4re application Adam Lackorzynski
  - L4linux IPC communication with L4re application ba_f
    - L4linux IPC communication with L4re application Matthias Lange
Microkernel Meetup Bjoern Doebel
- Microkernel Meetup Bjoern Doebel
  - Microkernel Meetup Bjoern Doebel
Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
- Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
  - Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
    - Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
    - Booting L4Linux on Raspberry Pi 2 Antoine DEBUT
    - Booting L4Linux on Raspberry Pi 2 Adam Lackorzynski
FYI: microkernel.info community site Jakub Jermář
- [seL4] FYI: microkernel.info community site Gernot Heiser
  - [seL4] FYI: microkernel.info community site Alexander Senier
    - [seL4] FYI: microkernel.info community site Gernot Heiser
- [HelenOS-devel] FYI: microkernel.info community site Vasily A. Sartakov
  - [HelenOS-devel] FYI: microkernel.info community site Jakub Jermář
Can the latest L4Linux support for the ARM big.LITTLE architecture ? li94575
- Can the latest L4Linux support for the ARM big.LITTLE architecture ? Adam Lackorzynski
Question about ARM LPAE li94575
- Question about ARM LPAE Adam Lackorzynski
  - Question about ARM LPAE li94575
    - Question about ARM LPAE Adam Lackorzynski
    - Question about ARM LPAE li94575
    - Question about ARM LPAE Adam Lackorzynski
    - Question about ARM LPAE li94575
    - Question about ARM LPAE Adam Lackorzynski
    - Question about ARM LPAE li94575
Bootstrap in real mode on x86_64: Possible? Maxim Baryshnikov
- Bootstrap in real mode on x86_64: Possible? Adam Lackorzynski
Task Priority Setting Nourhan Mohamed
- Task Priority Setting Adam Lackorzynski
  - dynamic linking (broke in new snap) ba_f
    - dynamic linking (broke in new snap) Adam Lackorzynski
    - dynamic linking (broke in new snap) ba_f
Benchmarks in l4 Maxim Baryshnikov
- RPC( dataspace) ba_f
  - RPC( dataspace) Adam Lackorzynski
    - HW access ba_f
    - HW access Matthias Lange
    - HW access ba_f
    - HW access Matthias Lange
    - HW access ba_f
- Benchmarks in l4 Adam Lackorzynski
  - Benchmarks in l4 Maxim Baryshnikov
    - Benchmarks in l4 Adam Lackorzynski
Question about Fiasco.OC support for SPARC deng.chao1 at zte.com.cn
- Question about Fiasco.OC support for SPARC Adam Lackorzynski
  - Question about Fiasco.OC support for SPARC deng.chao1 at zte.com.cn
    - Question about Fiasco.OC support for SPARC Adam Lackorzynski
Flexpage: shared Mem ba_f
- Flexpage: shared Mem Adam Lackorzynski
  - Flexpage: shared Mem ba_f
    - Flexpage: shared Mem Adam Lackorzynski
    - Flexpage: shared Mem ba_f
    - Flexpage: shared Mem Adam Lackorzynski
where can I download the previous version of L4linux? li94575
- where can I download the previous version of L4linux? Adam Lackorzynski
  - where can I download the previous version of L4linux? li94575
    - where can I download the previous version of L4linux? Adam Lackorzynski
L4Re Release Adam Lackorzynski
l4-hackers Digest, Vol 157, Issue 10 Иван Филиппов
L4Linux Compilation trouble with missing packages in L4 Martin Gruber
- L4Linux Compilation trouble with missing packages in L4 Adam Lackorzynski
Cross-compiling L4Re for MIPS32 Paul Boddie
- Cross-compiling L4Re for MIPS32 Adam Lackorzynski
  - Cross-compiling L4Re for MIPS32 Paul Boddie
    - Cross-compiling L4Re for MIPS32 Adam Lackorzynski
    - Cross-compiling L4Re for MIPS32 Paul Boddie
    - Cross-compiling L4Re for MIPS32 Adam Lackorzynski
    - Cross-compiling L4Re for MIPS32 Paul Boddie
    - Cross-compiling L4Re for MIPS32 Adam Lackorzynski
    - Cross-compiling L4Re for MIPS32 Paul Boddie
    - Cross-compiling L4Re for MIPS32 Adam Lackorzynski
    - Cross-compiling L4Re for MIPS32 Paul Boddie
building fiasco on alpine linux Michael Schnupp
- building fiasco on alpine linux Adam Lackorzynski
  - building fiasco on alpine linux Michael Schnupp
    - building fiasco on alpine linux Adam Lackorzynski
    - building fiasco on alpine linux Michael Schnupp
    - building fiasco on alpine linux Adam Lackorzynski
    - building fiasco on alpine linux Michael Schnupp
l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem 张鑫
- l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem 张鑫
  - l4re-snapshot-2016060908 lunch "L4Linux-mag-x86" problem Adam Lackorzynski
l4re programming language support Michael Schnupp
- l4re programming language support Adam Lackorzynski
Question: The future of Fiasco & L4Re Ratko Rudič
- Question: The future of Fiasco & L4Re Adam Lackorzynski
l4_thread_ex_regs and suspending thread Valery V. Sedletski
- l4_thread_ex_regs and suspending thread Adam Lackorzynski
  - l4_thread_ex_regs and suspending thread Valery V. Sedletski
    - l4_thread_ex_regs and suspending thread Adam Lackorzynski
    - l4_thread_ex_regs and suspending thread Valery V. Sedletski
    - dynamic reconfiguration ba_f
    - dynamic reconfiguration Matthias Lange
    - dynamic reconfiguration ba_f
    - dynamic reconfiguration Adam Lackorzynski
    - dynamic reconfiguration ba_f
    - dynamic reconfiguration Matthias Lange
    - dynamic reconfiguration ba_f
    - dynamic reconfiguration Matthias Lange
USDHC driver for i.MX6 AIT HMID Moha
- USDHC driver for i.MX6 Adam Lackorzynski
l4linux panic on iMX6SX AIT HMID Moha
- l4linux panic on iMX6SX Adam Lackorzynski
memory map/unmap performance Yuxin Ren
- memory map/unmap performance Adam Lackorzynski
Genode + Fiasco.OC: How to access multiple run queues? Guru Siddesh
- Genode + Fiasco.OC: How to access multiple run queues? Adam Lackorzynski
Partitioned Scheduling Edinger, Stefan
- Partitioned Scheduling Adam Lackorzynski
  - AW: Partitioned Scheduling Edinger, Stefan
    - Partitioned Scheduling Adam Lackorzynski
    - Partitioned Scheduling Daniel Krefft
    - Partitioned Scheduling Mehdi Amiri
    - Partitioned Scheduling Adam Lackorzynski
    - Partitioned Scheduling Daniel Krefft
Is L4Linux can use its existed Linux driver to access hardware device? Zhe Zhao
- Is L4Linux can use its existed Linux driver to access hardware device? Matthias Lange
  - Is L4Linux can use its existed Linux driver to access hardware device? Zhe Zhao
    - Is L4Linux can use its existed Linux driver to access hardware device? Matthias Lange
    - Is L4Linux can use its existed Linux driver to access hardware device? Zhe Zhao
    - Is L4Linux can use its existed Linux driver to access hardware device? Matthias Lange
    - Is L4Linux can use its existed Linux driver to access hardware device? Zhe Zhao
    - Is L4Linux can use its existed Linux driver to access hardware device? Matthias Lange
L4Linux stop at "Calibrating delay loop ..." li94575
- L4Linux stop at "Calibrating delay loop ..." Adam Lackorzynski
  - L4Linux stop at "Calibrating delay loop ..." li94575
    - L4Linux stop at "Calibrating delay loop ..." Reinier Millo Sánchez
    - L4Linux stop at "Calibrating delay loop ..." Adam Lackorzynski
    - L4Linux stop at "Calibrating delay loop ..." li94575
    - L4Linux stop at "Calibrating delay loop ..." Adam Lackorzynski
    - L4Linux stop at "Calibrating delay loop ..." li94575
fiasco.oc i.MX7d port Marc CHALAND
- fiasco.oc i.MX7d port Adam Lackorzynski
  - fiasco.oc i.MX7d port Marc CHALAND
    - fiasco.oc i.MX7d port Adam Lackorzynski
    - fiasco.oc i.MX7d port Marc CHALAND
    - fiasco.oc i.MX7d port Adam Lackorzynski
    - fiasco.oc i.MX7d port Marc CHALAND
    - fiasco.oc i.MX7d port Adam Lackorzynski
Fwd: Microkernels / Component-based OSes devroom - Call for Participation Norman Feske
Can't find device node in /dev/ directory! li94575
- Can't find device node in /dev/ directory! Matthias Lange
  - Can't find device node in /dev/ directory! li94575
    - Can't find device node in /dev/ directory! g4 at novadsp.com
    - Can't find device node in /dev/ directory! li94575
About IO server settings for DMA in L4Linux Jesse-SC Chou (周書正)
- About IO server settings for DMA in L4Linux Adam Lackorzynski
  - About IO server settings for DMA in L4Linux Jesse-SC Chou (周書正)
    - About IO server settings for DMA in L4Linux Adam Lackorzynski
About l4linux debug method li94575
- About l4linux debug method Adam Lackorzynski
  - About l4linux debug method li94575
    - About l4linux debug method Adam Lackorzynski
Memory usage analysis and optimization Jesse-SC Chou (周書正)
- Memory usage analysis and optimization Adam Lackorzynski
  - Memory usage analysis and optimization Jesse-SC Chou (周書正)

Last message date: Tue Dec 20 09:09:15 CET 2016
Archived on: Tue Apr 13 12:03:58 CEST 2021

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).