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