2014 Archives by author
Starting: Thu Jan 9 09:29:44 CET 2014
Ending: Tue Dec 30 03:11:12 CET 2014
Messages: 1004
- Graphical desktop, l4con, mag
000SKY
- TrustZone example on i.MX6
Markku Ahvenjärvi
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mahdi Aichouch
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mahdi Aichouch
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mahdi Aichouch
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mahdi Aichouch
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mahdi Aichouch
- Can you tell me function name that means 'Entry Point: 0x11000000' ?
Ahmed Ammar
- Can you tell me function name that means 'Entry Point: 0x11000000' ?
Ahmed Ammar
- I share attached this guide with you.
Ahmed Ammar
- newbie - trying to build
Jack Andrews
- newbie - trying to build
Jack Andrews
- newbie - trying to build
Jack Andrews
- Teaching OS Course notes
Alexander Aring
- Panic with l4Linux
Ismael BARAKAT
- nothing after make for snapshot
Emanuel Berg
- nothing after make for snapshot
Emanuel Berg
- nothing after make for snapshot
Emanuel Berg
- nothing after make for snapshot
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- Library dependencies missing: stdlibs in directory
Emanuel Berg
- step forward on compilation
Emanuel Berg
- step forward on compilation
Emanuel Berg
- std::cin in Fiasco/L4Re (with 'make qemu')
Emanuel Berg
- std::cin in Fiasco/L4Re (with 'make qemu')
Emanuel Berg
- step forward on compilation
Emanuel Berg
- std::cin in Fiasco/L4Re (with 'make qemu')
Emanuel Berg
- step forward on compilation
Emanuel Berg
- step forward on compilation
Emanuel Berg
- std::cin in Fiasco/L4Re (with 'make qemu')
Emanuel Berg
- std::cin in Fiasco/L4Re (with 'make qemu')
Emanuel Berg
- Adding a custom library to l4/pkg/bootstrap
Jan Bierbaum
- Adding a custom library to l4/pkg/bootstrap
Jan Bierbaum
- OKL4 vs L4::Pistachio
Taylor Bioniks
- seL4 what exactly is in the kernel
Taylor Bioniks
- seL4 what exactly is in the kernel
Taylor Bioniks
- exec()
Jason Butler
- Compiling packages for L4 kernel & patches
Asus Ceaser
- OKL4 vs L4::Pistachio
Bryce Cronkite-Ratcliff
- [Compilation Error] Given paths must be relative
Johan Dams
- Framebuffer in L4Re for Raspberry PI
Johan Dams
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Johan Dams
- Some confusing code of the kernel
Janis Danisevskis
- [ASK] Unable to boot L4 + Fiasco using u-boot in pandaboard
Erry Pradana Darajati
- Compiling L4Linux for Pandaboard ARM Error
Erry Pradana Darajati
- Keyboard Input in L4Re Pandaboard ARM
Erry Pradana Darajati
- [ASK] Basic L4Re
Erry Pradana Darajati
- L4Re GPIO
Erry Pradana Darajati
- L4Re GPIO
Erry Pradana Darajati
- iostream and string in L4Re
Erry Pradana Darajati
- Iostream and string in L4Re
Erry Pradana Darajati
- L4Re GPIO
Erry Pradana Darajati
- L4Re GPIO
Erry Pradana Darajati
- GI Operating Systems Meeting
Björn Döbel
- Data streaming / sharing from client side in an IPC example
Björn Döbel
- Build kernel modules and run it on L4linux
Björn Döbel
- Build kernel modules and run it on L4linux
Björn Döbel
- Build kernel modules and run it on L4linux
Björn Döbel
- Library dependencies missing: stdlibs in directory
Björn Döbel
- Library dependencies missing: stdlibs in directory
Björn Döbel
- Build kernel modules and run it on L4linux
Björn Döbel
- Library dependencies missing: stdlibs in directory
Björn Döbel
- L4 Fiasco's scheduling in Multi-Core
Björn Döbel
- step forward on compilation
Björn Döbel
- std::cin in Fiasco/L4Re (with 'make qemu')
Björn Döbel
- newbie - trying to build
Björn Döbel
- Ankh Examples
Björn Döbel
- Ankh Examples
Björn Döbel
- L4Linux and L4Re communication
Björn Döbel
- L4Linux and L4Re communication
Björn Döbel
- How to talk to a specific thread in a server
Björn Döbel
- How to talk to a specific thread in a server
Björn Döbel
- How to talk to a specific thread in a server
Björn Döbel
- Doing simple I/O in clntsrv example
Björn Döbel
- how to transfer capabilities from server to client
Björn Döbel
- DDE-Kit
Björn Döbel
- strange response time question
Björn Döbel
- Mapping memory into process address space
Björn Döbel
- shared dataspace for l4re_kernel/ registering additional caps in ned
Björn Döbel
- AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Björn Döbel
- Mapping memory into process address space
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- shared dataspace for l4re_kernel/ registering additional caps in ned
Björn Döbel
- Mapping memory into process address space
Björn Döbel
- How can a thread map memory to itself
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- How can a thread map memory to itself
Björn Döbel
- advice on using ddelinux
Björn Döbel
- advice on using ddelinux
Björn Döbel
- Mapping memory into process address space
Björn Döbel
- advice on using ddelinux
Björn Döbel
- Does Fiasco have yield system call or something similar
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- Trimming uclibc in l4
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- l4/sys/syscalls.h: No such file or directory
Björn Döbel
- JDB and thread ids
Björn Döbel
- contiguous memory blocks and zero copy
Björn Döbel
- examples/libs/l4re/c++/shared_ds/ds_clnt.cc
Björn Döbel
- Thread synchronization with in the same address space
Björn Döbel
- Teaching OS Course notes
Björn Döbel
- exec()
Björn Döbel
- Question about schedule policy
Björn Döbel
- Question about schedule policy
Björn Döbel
- How to monitor thread scheduling and the criticality of tasks?
Björn Döbel
- Need help profiling with Valgrind
Björn Döbel
- Need help profiling with Valgrind
Björn Döbel
- Need help profiling with Valgrind
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- strange Bug
Björn Döbel
- Problem with running hello world application in l4re
Björn Döbel
- DDE-Kit
Korbinian Ederer
- advice on using ddelinux
Korbinian Ederer
- Using IO-Server
Korbinian Ederer
- Clans and chiefs
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Graphical desktop, l4con, mag
teclis High Elf
- Build system
teclis High Elf
- Build system
teclis High Elf
- JDB and thread ids
teclis High Elf
- contiguous memory blocks and zero copy
teclis High Elf
- examples/libs/l4re/c++/shared_ds/ds_clnt.cc
teclis High Elf
- Thread synchronization with in the same address space
teclis High Elf
- Thread synchronization with in the same address space
teclis High Elf
- dynamic loading
teclis High Elf
- Teaching OS Course notes
teclis High Elf
- exec()
teclis High Elf
- Dummy irq
teclis High Elf
- Second UART and console
teclis High Elf
- SMP
teclis High Elf
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
teclis High Elf
- strange Bug
teclis High Elf
- JDB percent CPU usage
teclis High Elf
- User-level objects
teclis High Elf
- Paper: undermine memory isolation in Fiasco OC covert channels
teclis High Elf
- JDB and sigma0
teclis High Elf
- interfaces of scheduler Fiasco
Bouchra Elouri
- Is anyone has experience with pandaboard omap4460?
Norman Feske
- Hello!
Blaine Garst
- Hello!
Blaine Garst
- Hello!
Blaine Garst
- Hello!
Blaine Garst
- Hello!
Blaine Garst
- Hello!
Blaine Garst
- Do L4 Linux lack source code about Freescale i.MX6 Quad ?
Yunchuan Geng
- I share a document to access HW on L4 Linux.
Yunchuan Geng
- I share a document to access HW on L4 Linux.
Yunchuan Geng
- I share a document to access HW on L4 Linux.
Yunchuan Geng
- how to get or initialize clock in L4Linux
Yunchuan Geng
- how to get or initialize clock in L4Linux
Yunchuan Geng
- I share a document to access HW on L4 Linux.
Yunchuan Geng
- Device Tree Blob support in l4linux
Yunchuan Geng
- GPIO Interrupt on L4Linux
Yunchuan Geng
- Pid 1 crashing under L4Linux
Uwe Geuder
- Pid 1 crashing under L4Linux
Uwe Geuder
- User space filesystems for L4Linux
Uwe Geuder
- User space filesystems for L4Linux
Uwe Geuder
- l4lx_memory_map_virtual_page messages ending in internal error
Uwe Geuder
- l4lx_memory_map_virtual_page messages ending in internal error
Uwe Geuder
- l4lx_memory_map_virtual_page messages ending in internal error
Uwe Geuder
- SMP for L4Linux on i.MX6
Uwe Geuder
- SMP for L4Linux on i.MX6
Uwe Geuder
- Framebuffer in L4Re for Raspberry PI
Peter Hanzel
- Framebuffer in L4Re for Raspberry PI
Peter Hanzel
- Compiling the Fiasco.OC +L4Re for Raspberry PI
Peter Hanzel
- Doing simple I/O in clntsrv example
Valentin Hauner
- Doing simple I/O in clntsrv example
Valentin Hauner
- Doing simple I/O in clntsrv example
Valentin Hauner
- Doing simple I/O in clntsrv example
Valentin Hauner
- Doing simple I/O in clntsrv example
Valentin Hauner
- Documentation of Sched_context
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Accessing dbg_info()->dbg_id() for threads in ready queue class
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- Adding a new scheduling algorithm to Fiasco.OC
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- Passing data to a thread
Valentin Hauner
- Passing data to a thread
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- l4/sys/syscalls.h: No such file or directory
Valentin Hauner
- Hello!
Gernot Heiser
- Hello!
Gernot Heiser
- Hello!
Gernot Heiser
- L4 Performance
Gernot Heiser
- OKL4 vs L4::Pistachio
Gernot Heiser
- seL4 what exactly is in the kernel
Gernot Heiser
- seL4 what exactly is in the kernel
Gernot Heiser
- OKL4 vs L4::Pistachio
Gernot Heiser
- seL4 will go open source on 29 July
Gernot Heiser
- seL4 will go open source on 29 July
Gernot Heiser
- Question about seL4 on July 29th
Gernot Heiser
- seL4 is free!
Gernot Heiser
- response time in Fiasco
Gernot Heiser
- strange response time question
Gernot Heiser
- strange response time question
Gernot Heiser
- Paper: undermine memory isolation in Fiasco OC covert channels
Gernot Heiser
- DARPA funds building stuff on seL4
Gernot Heiser
- Paper: undermine memory isolation in Fiasco OC covert channels
Gernot Heiser
- Genode 14.02 enables VirtualBox on NOVA
Christian Helmuth
- is there a way to run the compiled arm on Nexus S ?
Christian Helmuth
- Problems with python to compile seL4
Daniel Hofmann
- Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
Peter Howard
- Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
Peter Howard
- Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Peter Howard
- Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Peter Howard
- Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Peter Howard
- I share a document to access HW on L4 Linux.
Peter Howard
- Adding hardware access to L4Linux, and killing serial console
Peter Howard
- Adding hardware access to L4Linux, and killing serial console
Peter Howard
- Setting task priority in loader configuration script
Peter Howard
- Setting task priority in loader configuration script
Peter Howard
- Setting task priority in loader configuration script
Peter Howard
- Library dependencies missing: stdlibs in directory
Marcus Hähnel
- newbie - trying to build
Marcus Hähnel
- Doing simple I/O in clntsrv example
Marcus Hähnel
- Fwd: Re: cannot find -lld-l4
Marcus Hähnel
- Doing simple I/O in clntsrv example
Marcus Hähnel
- Doing simple I/O in clntsrv example
Marcus Hähnel
- Doing simple I/O in clntsrv example
Marcus Hähnel
- Where is kernel entry code
Marcus Hähnel
- Doing simple I/O in clntsrv example
Marcus Hähnel
- Some confusing code of the kernel
Marcus Hähnel
- Some confusing code of the kernel
Marcus Hähnel
- Graphical desktop, l4con, mag
Marcus Hähnel
- Problems with python to compile seL4
Marcus Hähnel
- Do L4 Linux lack source code about Freescale i.MX6 Quad ?
Marcus Hähnel
- Trimming uclibc in l4
Marcus Hähnel
- Trimming uclibc in l4
Marcus Hähnel
- How to debug Fiasco Kernel
Marcus Hähnel
- L4-based microkernel on Intel SCC
Masti Ramya Jayaram
- Fiasco, L4Re, L4linux for Pentium 5
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Minimal requirements to run L4linux using only a serial console
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- New package linking fails
Masti Ramya Jayaram
- New package linking fails
Masti Ramya Jayaram
- New package linking fails
Masti Ramya Jayaram
- Fault in function writev (ulibc)
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- Adding a custom library to l4/pkg/bootstrap
Masti Ramya Jayaram
- Fault in function writev (ulibc)
Masti Ramya Jayaram
- Adding a custom library to l4/pkg/bootstrap
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- Adding a custom library to l4/pkg/bootstrap
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- Adding a custom library to l4/pkg/bootstrap
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- Aborted L4linux due to CLI/STI
Masti Ramya Jayaram
- Aborted L4linux due to CLI/STI
Masti Ramya Jayaram
- Aborted L4linux due to CLI/STI
Masti Ramya Jayaram
- Checking executables before running them in L4re/fiasco
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Preventing access to a part of the address space from Sigma0
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Aborted L4linux due to CLI/STI
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Physical memory allocation to L4linux
Masti Ramya Jayaram
- Trimming uclibc in l4
Masti Ramya Jayaram
- Trimming uclibc in l4
Masti Ramya Jayaram
- Trimming uclibc in l4
Masti Ramya Jayaram
- Trimming uclibc in l4
Masti Ramya Jayaram
- Ned,moe, l4linux interaction
Masti Ramya Jayaram
- l4linux shutdown cleanup
Masti Ramya Jayaram
- about the alien thread
Wei Jin
- [ASK] Unable to boot L4 + Fiasco using u-boot in pandaboard
Wei Jin
- [ASK] Unable to boot L4 + Fiasco using u-boot in pandaboard
Wei Jin
- [ASK] Unable to boot L4 + Fiasco using u-boot in pandaboard
Wei Jin
- building_l4re_pandaboard
Wei Jin
- How to change root device on L4 Linux ?
Wei Jin
- How does Fiasco implement printf
Wei Jin
- Seting Library search path
Sören Jonsson
- Problem when booting L4 Fiasco/Re
Sören Jonsson
- Missing library question
Sören Jonsson
- A convenient makefile
Sören Jonsson
- Trouble building l4linux
Sören Jonsson
- NOVA, NUL, snapshotting
Bernhard Kauer
- Question about schedule policy
Kevin
- L4Linux + L4re + Fiasco to boot in Freescale i.MX6q_sabre_sd
Tim Komarov
- In Freescale i.MX6q_sabre_sd, The problem booting Helloworld + L4 + Fiasco
Tim Komarov
- Is wrong my kernel command line, on this situation ? (Booting L4 linux)
Tim Komarov
- Custom ramdisk
Tim Komarov
- Custom ramdisk
Tim Komarov
- Porting libtiff library
Irvanda Kurniadi
- Porting libtiff library
Irvanda Kurniadi
- Porting libtiff library
Irvanda Kurniadi
- Porting libtiff library
Irvanda Kurniadi
- [Compilation Error] Given paths must be relative
Irvanda Kurniadi
- [Compilation Error] Given paths must be relative
Irvanda Kurniadi
- Passing Compilation Flag from CMake file
Irvanda Kurniadi
- Build kernel modules and run it on L4linux
Irvanda Kurniadi
- Build kernel modules and run it on L4linux
Irvanda Kurniadi
- Build kernel modules and run it on L4linux
Irvanda Kurniadi
- Build kernel modules and run it on L4linux
Irvanda Kurniadi
- Fortran Compiler Missing
Irvanda Kurniadi
- Fortran Compiler Missing
Irvanda Kurniadi
- Running application can't create a file
Irvanda Kurniadi
- Running application can't create a file
Irvanda Kurniadi
- Problem in Linking program
Irvanda Kurniadi
- Problem in Linking program
Irvanda Kurniadi
- 1 maximal supported CPUs
Irvanda Kurniadi
- 1 maximal supported CPUs
Irvanda Kurniadi
- 1 maximal supported CPUs
Irvanda Kurniadi
- build error: [kobject_mapdb.o] error
Irvanda Kurniadi
- build error: [kobject_mapdb.o] error
Irvanda Kurniadi
- L4linux: cpu and core [comprehension question]
Irvanda Kurniadi
- L4linux: cpu and core [comprehension question]
Irvanda Kurniadi
- L4Linux and L4Re communication
Irvanda Kurniadi
- build error: [kobject_mapdb.o] error
Irvanda Kurniadi
- L4Linux and L4Re communication
Irvanda Kurniadi
- L4Linux on amd64 arch
Irvanda Kurniadi
- L4Linux on amd64 arch
Irvanda Kurniadi
- Compile library in L4Linux ramdisk
Irvanda Kurniadi
- Facing l4x-evict_task problem in L4Linux
Irvanda Kurniadi
- New package linking fails
Martin Küttler
- Adding a custom library to l4/pkg/bootstrap
Martin Küttler
- Delay::measure function
Xavier LEBARS
- Delay::measure function
Xavier LEBARS
- Timer Interrupt Handler
Xavier LEBARS
- Timer Interrupt Handler
Xavier LEBARS
- Timer Interrupt Handler
Xavier LEBARS
- Porting libtiff library
Adam Lackorzynski
- Porting libtiff library
Adam Lackorzynski
- about the alien thread
Adam Lackorzynski
- Snapshot 2013123012 possible broken for ARM9 & l4linux?
Adam Lackorzynski
- Writing to TTBCR on ARM9 causes fault
Adam Lackorzynski
- Snapshot 2013123012 possible broken for ARM9 & l4linux?
Adam Lackorzynski
- Snapshot 2013123012 possible broken for ARM9 & l4linux?
Adam Lackorzynski
- l4linux signals SIGSEGV instead of SIGILL and others
Adam Lackorzynski
- l4linux signals SIGSEGV instead of SIGILL and others
Adam Lackorzynski
- nothing after make for snapshot
Adam Lackorzynski
- nothing after make for snapshot
Adam Lackorzynski
- Network Server Ankh
Adam Lackorzynski
- building_l4re_pandaboard
Adam Lackorzynski
- Library dependencies missing: stdlibs in directory
Adam Lackorzynski
- Library dependencies missing: stdlibs in directory
Adam Lackorzynski
- Library dependencies missing: stdlibs in directory
Adam Lackorzynski
- Hello!
Adam Lackorzynski
- Running application can't create a file
Adam Lackorzynski
- Framebuffer in L4Re for Raspberry PI
Adam Lackorzynski
- Running application can't create a file
Adam Lackorzynski
- Seting Library search path
Adam Lackorzynski
- Panic with l4Linux
Adam Lackorzynski
- Problem when booting L4 Fiasco/Re
Adam Lackorzynski
- I share attached this guide with you.
Adam Lackorzynski
- Custom ramdisk
Adam Lackorzynski
- L4Re + ARM
Adam Lackorzynski
- Custom ramdisk
Adam Lackorzynski
- Ankh Examples
Adam Lackorzynski
- L4Re + ARM
Adam Lackorzynski
- step forward on compilation
Adam Lackorzynski
- std::cin in Fiasco/L4Re (with 'make qemu')
Adam Lackorzynski
- step forward on compilation
Adam Lackorzynski
- std::cin in Fiasco/L4Re (with 'make qemu')
Adam Lackorzynski
- L4Re + ARM
Adam Lackorzynski
- Ankh Examples
Adam Lackorzynski
- step forward on compilation
Adam Lackorzynski
- std::cin in Fiasco/L4Re (with 'make qemu')
Adam Lackorzynski
- newbie - trying to build
Adam Lackorzynski
- How to secure Ethernet environment on L4 Linux ?
Adam Lackorzynski
- Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
- 1 maximal supported CPUs
Adam Lackorzynski
- Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
- Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
- Compiling packages for L4 kernel & patches
Adam Lackorzynski
- Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
- Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
- build error: [kobject_mapdb.o] error
Adam Lackorzynski
- Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ?
Adam Lackorzynski
- build error: [kobject_mapdb.o] error
Adam Lackorzynski
- Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
- Can you confirm whether or not I secure devices on L4 Linux ?
Adam Lackorzynski
- L4linux: cpu and core [comprehension question]
Adam Lackorzynski
- Keyboard Input in L4Re Pandaboard ARM
Adam Lackorzynski
- L4linux: cpu and core [comprehension question]
Adam Lackorzynski
- L4Linux on amd64 arch
Adam Lackorzynski
- L4Linux on amd64 arch
Adam Lackorzynski
- How to enable 'CONFIG_COMMON_CLK' ?
Adam Lackorzynski
- Compile library in L4Linux ramdisk
Adam Lackorzynski
- Facing l4x-evict_task problem in L4Linux
Adam Lackorzynski
- Question about dataspace
Adam Lackorzynski
- Question about dataspace
Adam Lackorzynski
- Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
Adam Lackorzynski
- Question about dataspace
Adam Lackorzynski
- cannot find -lld-l4
Adam Lackorzynski
- how to get current cpu id
Adam Lackorzynski
- Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Adam Lackorzynski
- [Question] How do I do to secure LCD on L4 Linux ?
Adam Lackorzynski
- page fault on virtual bus
Adam Lackorzynski
- Some confusing code of the kernel
Adam Lackorzynski
- Documentation of Sched_context
Adam Lackorzynski
- Question about cross core IPC
Adam Lackorzynski
- l4re compilation
Adam Lackorzynski
- Question about cross core IPC
Adam Lackorzynski
- error: ext2_lookup: deleted inode referenced
Adam Lackorzynski
- Clans and chiefs
Adam Lackorzynski
- Adding hardware access to L4Linux, and killing serial console
Adam Lackorzynski
- Trouble building l4linux
Adam Lackorzynski
- Graphical desktop, l4con, mag
Adam Lackorzynski
- l4shmnet and its structure
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Multiple IPC_Gate channels per task
Adam Lackorzynski
- Fwd: l4shmnet and its structure
Adam Lackorzynski
- Istream beginner help
Adam Lackorzynski
- RCU period
Adam Lackorzynski
- IO configuration language
Adam Lackorzynski
- How does Fiasco implement printf
Adam Lackorzynski
- RCU period
Adam Lackorzynski
- Fwd: l4shmnet and its structure
Adam Lackorzynski
- Graphical desktop, l4con, mag
Adam Lackorzynski
- Setting task priority in loader configuration script
Adam Lackorzynski
- IO configuration language
Adam Lackorzynski
- IO configuration language
Adam Lackorzynski
- A conceptual question about IPC
Adam Lackorzynski
- Question abut DRQ handler
Adam Lackorzynski
- Question abut DRQ handler
Adam Lackorzynski
- real time application example in l4re
Adam Lackorzynski
- Question about handshake_receiver in IPC
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Question abut DRQ handler
Adam Lackorzynski
- Who uses memory originally from IO device
Adam Lackorzynski
- Fwd: Problems using qemu devices from l4re
Adam Lackorzynski
- Pid 1 crashing under L4Linux
Adam Lackorzynski
- Who uses memory originally from IO device
Adam Lackorzynski
- Question about _wq in the class Sender
Adam Lackorzynski
- How to enable scheduling time in one-shot model
Adam Lackorzynski
- l4lx_memory_map_virtual_page messages ending in internal error
Adam Lackorzynski
- Question about _wq in the class Sender
Adam Lackorzynski
- Question about function l4_sched_set_cpu_set
Adam Lackorzynski
- l4lx_memory_map_virtual_page messages ending in internal error
Adam Lackorzynski
- Timer Interrupt Handler
Adam Lackorzynski
- Timer Interrupt Handler
Adam Lackorzynski
- Question about IPI
Adam Lackorzynski
- Why need a lock in memory/capability map
Adam Lackorzynski
- Question about IPI
Adam Lackorzynski
- Why need a lock in memory/capability map
Adam Lackorzynski
- Question about irq
Adam Lackorzynski
- Start a process with a specified pager
Adam Lackorzynski
- Question about IPI
Adam Lackorzynski
- LUA bindings / kill task
Adam Lackorzynski
- response time in Fiasco
Adam Lackorzynski
- strange response time question
Adam Lackorzynski
- Device Tree Blob support in l4linux
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- strange response time question
Adam Lackorzynski
- Question about IPI interrupt handler
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Device Tree Blob support in l4linux
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Accessing dbg_info()->dbg_id() for threads in ready queue class
Adam Lackorzynski
- Device Tree Blob support in l4linux
Adam Lackorzynski
- Build system
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Build system
Adam Lackorzynski
- Mapping memory into process address space
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Adding a new scheduling algorithm to Fiasco.OC
Adam Lackorzynski
- Device Tree Blob support in l4linux
Adam Lackorzynski
- shared dataspace for l4re_kernel/ registering additional caps in ned
Adam Lackorzynski
- Device Tree Blob support in l4linux
Adam Lackorzynski
- Mapping memory into process address space
Adam Lackorzynski
- Doubt about fiasco-l4re on FastModels
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- How can a thread map memory to itself
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Locks in Base_mappable class
Adam Lackorzynski
- Locks in Base_mappable class
Adam Lackorzynski
- Device Tree Blob support in l4linux
Adam Lackorzynski
- Fiasco, L4Re, L4linux for Pentium 5
Adam Lackorzynski
- GPIO Interrupt on L4Linux
Adam Lackorzynski
- Question about dec_lock_cnt method in Context class
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Checking executables before running them in L4re/fiasco
Adam Lackorzynski
- Checking executables before running them in L4re/fiasco
Adam Lackorzynski
- Fault in function writev (ulibc)
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Question about dec_lock_cnt method in Context class
Adam Lackorzynski
- Checking executables before running them in L4re/fiasco
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Passing data to a thread
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Checking executables before running them in L4re/fiasco
Adam Lackorzynski
- Checking executables before running them in L4re/fiasco
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Aborted L4linux due to CLI/STI
Adam Lackorzynski
- Aborted L4linux due to CLI/STI
Adam Lackorzynski
- Checking executables before running them in L4re/fiasco
Adam Lackorzynski
- Question about dec_lock_cnt method in Context class
Adam Lackorzynski
- Physical memory allocation to L4linux
Adam Lackorzynski
- Preventing access to a part of the address space from Sigma0
Adam Lackorzynski
- GCC 4.9
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Physical memory allocation to L4linux
Adam Lackorzynski
- Physical memory allocation to L4linux
Adam Lackorzynski
- shared dataspace for l4re_kernel/ registering additional caps in ned
Adam Lackorzynski
- Physical memory allocation to L4linux
Adam Lackorzynski
- l4/sys/syscalls.h: No such file or directory
Adam Lackorzynski
- Question about dec_lock_cnt method in Context class
Adam Lackorzynski
- shared dataspace for l4re_kernel/ registering additional caps in ned
Adam Lackorzynski
- std::cin in Fiasco/L4Re (with 'make qemu')
Adam Lackorzynski
- Does unmap() flush tlb on other cores
Adam Lackorzynski
- What does idle thread do
Adam Lackorzynski
- raw L4Task: Flash Access & Variable
Adam Lackorzynski
- L4_SYSCALL_INVOKE is a negative PC value?
Adam Lackorzynski
- What does idle thread do
Adam Lackorzynski
- L4_SYSCALL_INVOKE is a negative PC value?
Adam Lackorzynski
- Question about the doc of L4Re
Adam Lackorzynski
- Repository Update
Adam Lackorzynski
- Difference between capability and memory mapping
Adam Lackorzynski
- Ned,moe, l4linux interaction
Adam Lackorzynski
- Difference between capability and memory mapping
Adam Lackorzynski
- Ned,moe, l4linux interaction
Adam Lackorzynski
- L4 Bootsrap Fiasco Addr
Adam Lackorzynski
- L4 Bootsrap Fiasco Addr
Adam Lackorzynski
- SMP for L4Linux on i.MX6
Adam Lackorzynski
- dynamic loading
Adam Lackorzynski
- memcpy(): alignment error
Adam Lackorzynski
- SMP for L4Linux on i.MX6
Adam Lackorzynski
- dynamic loading
Adam Lackorzynski
- memcpy(): alignment error
Adam Lackorzynski
- is there a way to run the compiled arm on Nexus S ?
Adam Lackorzynski
- is there a way to run the compiled arm on Nexus S ?
Adam Lackorzynski
- Dummy irq
Adam Lackorzynski
- libfs/ FUSE on L4Re
Adam Lackorzynski
- is there a way to run the compiled arm on Nexus S ?
Adam Lackorzynski
- memory layout
Adam Lackorzynski
- SMP
Adam Lackorzynski
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Adam Lackorzynski
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Adam Lackorzynski
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Adam Lackorzynski
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Adam Lackorzynski
- Server loop does not call dispatch only when running in pthread
Adam Lackorzynski
- Fail to run compiled ARM on Odroid Q2
Adam Lackorzynski
- Fail to run compiled ARM on Odroid Q2
Adam Lackorzynski
- L4Re GPIO
Adam Lackorzynski
- JDB percent CPU usage
Adam Lackorzynski
- User-level objects
Adam Lackorzynski
- User-level objects
Adam Lackorzynski
- User-level objects
Adam Lackorzynski
- iostream and string in L4Re
Adam Lackorzynski
- JDB and sigma0
Adam Lackorzynski
- L4Re GPIO
Adam Lackorzynski
- Problem with given root-x86-gingerbread.img
Matthias Lange
- Framebuffer in L4Re for Raspberry PI
Matthias Lange
- Problem in Linking program
Matthias Lange
- compiling L4RE for ARM
Matthias Lange
- compile l4re for arm
Matthias Lange
- compile l4re for arm
Matthias Lange
- Can you tell me function name that means 'Entry Point: 0x11000000' ?
Matthias Lange
- Can use other root file system instead of ramdisk(ramdisk-arm.rd) ?
Matthias Lange
- Compiling L4Linux for Pandaboard ARM Error
Matthias Lange
- hello/l4/fiasco.oc for realview pbxa9
Matthias Lange
- Have you modified L4 Kernel command line ?
Matthias Lange
- hello/l4/fiasco.oc for realview pbxa9
Matthias Lange
- hello/l4/fiasco.oc for realview pbxa9
Matthias Lange
- L4Linux + Ubuntu
Matthias Lange
- How to change root device on L4 Linux ?
Matthias Lange
- step forward on compilation
Matthias Lange
- How to secure Ethernet environment on L4 Linux ?
Matthias Lange
- How to secure Ethernet environment on L4 Linux ?
Matthias Lange
- cannot find -lld-l4
Matthias Lange
- how to get current cpu id
Matthias Lange
- interfaces of scheduler Fiasco
Matthias Lange
- Missing library question
Matthias Lange
- Where is kernel entry code
Matthias Lange
- kinvoke fonction
Matthias Lange
- EFI boot fails
Matthias Lange
- Graphical desktop, l4con, mag
Matthias Lange
- Graphical desktop, l4con, mag
Matthias Lange
- Fwd: Problems using qemu devices from l4re
Matthias Lange
- Fwd: Problems using qemu devices from l4re
Matthias Lange
- Fiasco bug
Matthias Lange
- booting lx_ginger.iso
Matthias Lange
- l4android compilation issue
Matthias Lange
- l4android compilation issue
Matthias Lange
- l4android compilation issue
Matthias Lange
- l4android compilation issue
Matthias Lange
- compiling and running l4android-arm in qemu
Matthias Lange
- How can a thread map memory to itself
Matthias Lange
- [ASK] Basic L4Re
Matthias Lange
- is there a way to run the compiled arm on Nexus S ?
Matthias Lange
- is there a way to run the compiled arm on Nexus S ?
Matthias Lange
- Question about schedule policy
Matthias Lange
- Second UART and console
Matthias Lange
- [ASK] Basic L4Re
Matthias Lange
- Is anyone has experience with pandaboard omap4460?
Matthias Lange
- Is anyone has experience with pandaboard omap4460?
Matthias Lange
- L4Re GPIO
Matthias Lange
- L4Re GPIO
Matthias Lange
- Re: Is anyone has experience with pandaboard omap4460?
Matthias Lange
- l4/sys/syscalls.h: No such file or directory
David Leimbach
- l4/sys/syscalls.h: No such file or directory
David Leimbach
- Repository Update
David Leimbach
- l4re compilation
Ramya Masti
- l4re compilation
Ramya Masti
- L4-based microkernel on Intel SCC
Ramya Masti
- L4-based microkernel on Intel SCC
Ramya Masti
- Ankh Examples
Ayad Mostafa
- Ankh Examples
Ayad Mostafa
- Ankh Examples
Ayad Mostafa
- Ankh Examples
Ayad Mostafa
- Ankh Examples
Ayad Mostafa
- Ankh Examples
Ayad Mostafa
- EFI boot fails
Ayad Mostafa
- compile l4re for arm
Alexis Fajardo Moya
- hello/l4/fiasco.oc for realview pbxa9
Alexis Fajardo Moya
- hello/l4/fiasco.oc for realview pbxa9
Alexis Fajardo Moya
- hello/l4/fiasco.oc for realview pbxa9
Alexis Fajardo Moya
- hello/l4/fiasco.oc for realview pbxa9
Alexis Fajardo Moya
- L4Re + ARM
Alexis Fajardo Moya
- L4Re + ARM
Alexis Fajardo Moya
- L4Re + ARM
Alexis Fajardo Moya
- L4Re + ARM
Alexis Fajardo Moya
- L4Re + ARM
Alexis Fajardo Moya
- L4Re + ARM
Alexis Fajardo Moya
- Problem with running hello world application in l4re
Gayathri Nagarajan
- Fiasco.OC and qemu vexpress machine model
Michele Paolino
- Fiasco.OC and qemu vexpress machine model
Michele Paolino
- Fiasco.OC and qemu vexpress machine model
Michele Paolino
- Fiasco.OC and qemu vexpress machine model
Michele Paolino
- Fiasco.OC and qemu vexpress machine model
Michele Paolino
- L4-based microkernel on Intel SCC
Markus Partheymueller
- how to transfer capabilities from server to client
Markus Partheymueller
- how to transfer capabilities from server to client
Markus Partheymueller
- How to debug Fiasco Kernel
Markus Partheymueller
- libfs/ FUSE on L4Re
Florian Pester
- libfs/ FUSE on L4Re
Florian Pester
- Hello!
Daniel Potts
- Question about seL4 on July 29th
Daniel Potts
- strange response time question
Daniel Potts
- L4Linux + Ubuntu
Sai Prajeeth
- Is anyone has experience with pandaboard omap4460?
Andre Puschmann
- Is anyone has experience with pandaboard omap4460?
Andre Puschmann
- How to talk to a specific thread in a server
Yuxin Ren
- How to talk to a specific thread in a server
Yuxin Ren
- How to talk to a specific thread in a server
Yuxin Ren
- Question about dataspace
Yuxin Ren
- About DMA mem and IO Server
Yuxin Ren
- Question about dataspace
Yuxin Ren
- how to get current cpu id
Yuxin Ren
- Question about dataspace
Yuxin Ren
- how to get current cpu id
Yuxin Ren
- Where is kernel entry code
Yuxin Ren
- Where is kernel entry code
Yuxin Ren
- Some confusing code of the kernel
Yuxin Ren
- Some confusing code of the kernel
Yuxin Ren
- Some confusing code of the kernel
Yuxin Ren
- Question about cross core IPC
Yuxin Ren
- Some confusing code of the kernel
Yuxin Ren
- Question about cross core IPC
Yuxin Ren
- how to transfer capabilities from server to client
Yuxin Ren
- how to transfer capabilities from server to client
Yuxin Ren
- how to transfer capabilities from server to client
Yuxin Ren
- how to transfer capabilities from server to client
Yuxin Ren
- RCU period
Yuxin Ren
- RCU period
Yuxin Ren
- How does Fiasco implement printf
Yuxin Ren
- Question abut DRQ handler
Yuxin Ren
- Question abut DRQ handler
Yuxin Ren
- Question about handshake_receiver in IPC
Yuxin Ren
- Question abut DRQ handler
Yuxin Ren
- Question about _wq in the class Sender
Yuxin Ren
- How to enable scheduling time in one-shot model
Yuxin Ren
- Question about _wq in the class Sender
Yuxin Ren
- Question about function l4_sched_set_cpu_set
Yuxin Ren
- Question about IPI
Yuxin Ren
- Why need a lock in memory/capability map
Yuxin Ren
- Question about IPI
Yuxin Ren
- Why need a lock in memory/capability map
Yuxin Ren
- Question about IPI
Yuxin Ren
- response time in Fiasco
Yuxin Ren
- strange response time question
Yuxin Ren
- strange response time question
Yuxin Ren
- Question about IPI interrupt handler
Yuxin Ren
- strange response time question
Yuxin Ren
- How can a thread map memory to itself
Yuxin Ren
- Locks in Base_mappable class
Yuxin Ren
- Question about dec_lock_cnt method in Context class
Yuxin Ren
- Question about dec_lock_cnt method in Context class
Yuxin Ren
- Question about dec_lock_cnt method in Context class
Yuxin Ren
- Question about dec_lock_cnt method in Context class
Yuxin Ren
- Question about dec_lock_cnt method in Context class
Yuxin Ren
- Does Fiasco have yield system call or something similar
Yuxin Ren
- Does unmap() flush tlb on other cores
Yuxin Ren
- Does unmap() flush tlb on other cores
Yuxin Ren
- What does idle thread do
Yuxin Ren
- What does idle thread do
Yuxin Ren
- Difference between capability and memory mapping
Yuxin Ren
- Difference between capability and memory mapping
Yuxin Ren
- Ned,moe, l4linux interaction
Yuxin Ren
- Thread synchronization with in the same address space
Yuxin Ren
- Fiasco bug
Zahi Rima
- Compiling the Fiasco.OC +L4Re for Raspberry PI
Waldo Paz Rodriguez
- L4 Fiasco's scheduling in Multi-Core
Ganis Zulfa Santoso
- FOSDEM 2015 - CfP: Microkernels DevRoom
Vasily A. Sartakov
- Snapshot 2013123012 possible broken for ARM9 & l4linux?
Martin Schröder
- Writing to TTBCR on ARM9 causes fault
Martin Schröder
- Snapshot 2013123012 possible broken for ARM9 & l4linux?
Martin Schröder
- Snapshot 2013123012 possible broken for ARM9 & l4linux?
Martin Schröder
- l4linux signals SIGSEGV instead of SIGILL and others
Martin Schröder
- l4linux signals SIGSEGV instead of SIGILL and others
Martin Schröder
- Data streaming / sharing from client side in an IPC example
Martin Schröder
- nothing after make for snapshot
Martin Schröder
- Network Server Ankh
Martin Schröder
- Network Server Ankh
Martin Schröder
- Network Server Ankh
Martin Schröder
- [Resend] Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ?
Martin Schröder
- What is 'new-res Mmio_ram(0x80000, 0 )' in '.io' file ?
Martin Schröder
- About DMA mem and IO Server
Martin Schröder
- About DMA mem and IO Server
Martin Schröder
- page fault on virtual bus
Martin Schröder
- page fault on virtual bus
Martin Schröder
- IO configuration language
Martin Schröder
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Martin Schröder
- IO configuration language
Martin Schröder
- IO configuration language
Martin Schröder
- IO configuration language
Martin Schröder
- IO configuration language
Martin Schröder
- Delay::measure function
Martin Schröder
- Fwd: Problems using qemu devices from l4re
Martin Schröder
- MOE uses memory originally from IO device
Martin Schröder
- Delay::measure function
Martin Schröder
- Who uses memory originally from IO device
Martin Schröder
- Who uses memory originally from IO device
Martin Schröder
- User space filesystems for L4Linux
Martin Schröder
- How to enable scheduling time in one-shot model
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- how to get or initialize clock in L4Linux
Martin Schröder
- how to get or initialize clock in L4Linux
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- How can a thread map memory to itself
Martin Schröder
- How can a thread map memory to itself
Martin Schröder
- How can a thread map memory to itself
Martin Schröder
- Device Tree Blob support in l4linux
Martin Schröder
- Minimal requirements to run L4linux using only a serial console
Martin Schröder
- Minimal requirements to run L4linux using only a serial console
Martin Schröder
- Minimal requirements to run L4linux using only a serial console
Martin Schröder
- Minimal requirements to run L4linux using only a serial console
Martin Schröder
- Minimal requirements to run L4linux using only a serial console
Martin Schröder
- Minimal requirements to run L4linux using only a serial console
Martin Schröder
- Physical memory allocation to L4linux
Martin Schröder
- Using IO-Server
Martin Schröder
- Using IO-Server
Martin Schröder
- l4linux shutdown cleanup
Martin Schröder
- Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Martin Schröder
- strange Bug
Martin Schröder
- strange Bug
Martin Schröder
- strange Bug
Martin Schröder
- Re[2]: dynamic loading
Valery V. Sedletski
- Problem with given root-x86-gingerbread.img
Viswa Sekar
- Problem with given root-x86-gingerbread.img
Viswa Sekar
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Maria Soler
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Maria Soler
- Fwd: Problems using qemu devices from l4re
Maria Soler
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Maria Soler
- Fwd: Problems using qemu devices from l4re
Maria Soler
- Fwd: Problems using qemu devices from l4re
Maria Soler
- Question about irq
Maria Soler
- Doubt about fiasco-l4re on FastModels
Maria Soler
- Fwd: Can you tell me function name that means 'Entry Point: 0x11000000' ?
TaeWoong Song
- LUA bindings / kill task
Stark, Josef
- LUA bindings / kill task
Stark, Josef
- Task creation in ned or moe
Stark, Josef
- shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- lwip and C++ compilation/linking issue
Stark, Josef
- lwip and C++ compilation/linking issue
Stark, Josef
- shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- shared dataspace for l4re_kernel/ registering additional caps in ned
Stark, Josef
- std::cin in Fiasco/L4Re (with 'make qemu')
Stark, Josef
- contiguous memory blocks and zero copy
Stark, Josef
- dynamic loading
Stark, Josef
- libfs/ FUSE on L4Re
Stark, Josef
- libfs/ FUSE on L4Re
Stark, Josef
- libfs/ FUSE on L4Re
Stark, Josef
- NOVA, NUL, snapshotting
Julian Stecklina
- NOVA, NUL, snapshotting
Julian Stecklina
- NOVA, NUL, snapshotting
Julian Stecklina
- FOSDEM microkernel dinner
Julian Stecklina
- Hello!
Julian Stecklina
- Hello!
Julian Stecklina
- L4-based microkernel on Intel SCC
Julian Stecklina
- Dresden Microkernel Hackers Meet-up
Julian Stecklina
- Dresden Microkernel Hackers Meet-up: Thursday 20:00 @ Stilbruch
Julian Stecklina
- Microkernel Stammtisch Dresden: Nov 6, Shamrock
Julian Stecklina
- Microkernel Stammtisch Dresden: 8pm, Nov 6, Shamrock
Julian Stecklina
- How to monitor thread scheduling and the criticality of tasks?
Karl Steger
- Google Summer of Code - DEADLINE IS TODAY!
Crypto Stick
- Task creation in ned or moe
Tobias Stumpf
- Server loop does not call dispatch only when running in pthread
Tobias Sturm
- Fwd: Can you tell me function name that means 'Entry Point: 0x11000000' ?
Sebastian Sumpf
- Can you tell me function name that means 'Entry Point: 0x11000000' ?
Taeung
- Can you tell me function name that means 'Entry Point: 0x11000000' ?
Taeung
- Can you tell me function name that means 'Entry Point: 0x11000000' ?
Taeung
- Is wrong my kernel command line, on this situation ? (Booting L4 linux)
Taeung
- Do L4 Linux lack source code about Freescale i.MX6 Quad ?
Taeung
- l4linux
Taeung
- Can use other root file system instead of ramdisk(ramdisk-arm.rd) ?
Taeung
- I share attached this guide with you.
Taeung
- Have you modified L4 Kernel command line ?
Taeung
- How to change root device on L4 Linux ?
Taeung
- Can't Fiasco.OC support multi-core-processor ?
Taeung
- [Correction] Can't Fiasco.OC support multi-core-processor ?
Taeung
- How to secure Ethernet environment on L4 Linux ?
Taeung
- How to secure Ethernet environment on L4 Linux ?
Taeung
- How to secure Ethernet environment on L4 Linux ?
Taeung
- How to change root device on L4 Linux ?
Taeung
- Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ?
Taeung
- Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ?
Taeung
- [Resend] Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ?
Taeung
- Can you confirm whether or not I secure devices on L4 Linux ?
Taeung
- How to enable 'CONFIG_COMMON_CLK' ?
Taeung
- How to enable 'CONFIG_COMMON_CLK' ?
Taeung
- What is 'new-res Mmio_ram(0x80000, 0 )' in '.io' file ?
Taeung
- About DMA mem and IO Server
Taeung
- Can you check this patch file(imx6q-fec.patch) ?
Taeung
- I share a document to access HW on L4 Linux.
Taeung
- Thanks Martin !! I got Ethernet on L4 Linux !!
Taeung
- Re: Is anyone has experience with pandaboard omap4460?
Alexander Tarasikov
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- NOVA, NUL, snapshotting
Sartakov A. Vasily
- FOSDEM microkernel dinner
Sartakov A. Vasily
- seL4 will go open source on 29 July
Sartakov A. Vasily
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Jorge Ventura
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Jorge Ventura
- Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Jorge Ventura
- Question about seL4 on July 29th
Jorge Ventura
- A conceptual question about IPC
Jorge Ventura
- Problems with python to compile seL4
Jorge Ventura
- Problems with python to compile seL4
Jorge Ventura
- seL4 boot issue
Jorge Ventura
- Teaching OS Course notes
Marcus Völp
- Paper: undermine memory isolation in Fiasco OC covert channels
Marcus Völp
- Paper: undermine memory isolation in Fiasco OC covert channels
Marcus Völp
- compiling L4RE for ARM
Waldo
- L4 Fiasco's scheduling in Multi-Core
Waldo
- compile l4re for arm
Waldo
- L4Re + ARM
Waldo
- GCC 4.9
Stefan Wallentowitz
- Fortran Compiler Missing
Carsten Weinhold
- Data streaming / sharing from client side in an IPC example
Ajith Whowe
- Data streaming / sharing from client side in an IPC example
Ajith Whowe
- Network Server Ankh
Ajith Whowe
- Network Server Ankh
Ajith Whowe
- Network Server Ankh
Ajith Whowe
- Network Server Ankh
Ajith Whowe
- memory layout
Tobias Woelfel
- L4 Bootsrap Fiasco Addr
Wölfel, Tobias
- AW: L4 Bootsrap Fiasco Addr
Wölfel, Tobias
- [Question] How do I do to secure LCD on L4 Linux ?
Yeongchan
- L4_SYSCALL_INVOKE is a negative PC value?
Zachary
- L4_SYSCALL_INVOKE is a negative PC value?
Zachary
- Fail to run compiled ARM on Odroid Q2
Zachary
- Fail to run compiled ARM on Odroid Q2
Zachary
- Is anyone has experience with pandaboard omap4460?
Zachary
- Is anyone has experience with pandaboard omap4460?
Zachary
- Start a process with a specified pager
Noah Zentzis
- Mapping memory into process address space
Noah Zentzis
- Mapping memory into process address space
Noah Zentzis
- Mapping memory into process address space
Noah Zentzis
- Mapping memory into process address space
Noah Zentzis
- Mapping memory into process address space
Noah Zentzis
- error: ext2_lookup: deleted inode referenced
cem akpolat
- l4shmnet and its structure
cem akpolat
- Fwd: l4shmnet and its structure
cem akpolat
- Fwd: l4shmnet and its structure
cem akpolat
- real time application example in l4re
cem akpolat
- l4android compilation issue
cem akpolat
- booting lx_ginger.iso
cem akpolat
- l4android compilation issue
cem akpolat
- l4android compilation issue
cem akpolat
- l4android compilation issue
cem akpolat
- Segmentation fault while running arm image on top of qemu
cem akpolat
- l4android compilation issue
cem akpolat
- l4android compilation issue
cem akpolat
- Segmentation fault while running arm image on top of qemu
cem akpolat
- compiling and running l4android-arm in qemu
cem akpolat
- How to debug Fiasco Kernel
cem akpolat
- How to debug Fiasco Kernel
cem akpolat
- is there a way to run the compiled arm on Nexus S ?
cem akpolat
- is there a way to run the compiled arm on Nexus S ?
cem akpolat
- is there a way to run the compiled arm on Nexus S ?
cem akpolat
- is there a way to run the compiled arm on Nexus S ?
cem akpolat
- cannot find -lld-l4
ba_f
- Fwd: Re: cannot find -lld-l4
ba_f
- page fault on virtual bus
ba_f
- Istream beginner help
ba_f
- raw L4Task: Flash Access & Variable
ba_f
- memcpy(): alignment error
ba_f
- raw L4Task: Flash Access & Variable
ba_f
- raw L4Task: Flash Access & Variable
ba_f
- memcpy(): alignment error
ba_f
- memcpy(): alignment error
ba_f
- Need help profiling with Valgrind
ba_f
- Need help profiling with Valgrind
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- strange Bug
ba_f
- User-level objects
li94575
- User-level objects
li94575
- Question about the doc of L4Re
lwf408498027
- L4Linux + L4re + Fiasco to boot in Freescale i.MX6q_sabre_sd
taeung
- In Freescale i.MX6q_sabre_sd,The problem booting Helloworld + L4 + Fiasco
taeung
- Fwd: In Freescale i.MX6q_sabre_sd,The problem booting Helloworld + L4 + Fiasco
taeung
- I was not able to run "Hello world" on my board(imx6).
taeung
- Multiple IPC_Gate channels per task
professor xavier
- building_l4re_pandaboard
Комаров Тимофей
- building_l4re_pandaboard
Комаров Тимофей
Last message date:
Tue Dec 30 03:11:12 CET 2014
Archived on: Tue Apr 13 12:03:56 CEST 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).