l4-hackers

Messages by Date

2014/11/20 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE Mahdi Aichouch
2014/11/19 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE teclis High Elf
2014/11/19 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE Martin Schröder
2014/11/18 Re: strange Bug ba_f
2014/11/18 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE Adam Lackorzynski
2014/11/18 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE Mahdi Aichouch
2014/11/18 Re: strange Bug Björn Döbel
2014/11/17 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE Adam Lackorzynski
2014/11/17 Re: strange Bug ba_f
2014/11/17 Re: strange Bug Björn Döbel
2014/11/15 Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE Adam Lackorzynski
2014/11/15 Re: strange Bug ba_f
2014/11/13 Re: strange Bug ba_f
2014/11/13 Re: strange Bug Björn Döbel
2014/11/12 Re: strange Bug ba_f
2014/11/12 Re: strange Bug Björn Döbel
2014/11/11 strange Bug ba_f
2014/11/11 Re: SMP Adam Lackorzynski
2014/11/11 SMP teclis High Elf
2014/11/09 Re: Second UART and console Matthias Lange
2014/11/09 Re: Need help profiling with Valgrind Björn Döbel
2014/11/09 Re: Need help profiling with Valgrind Björn Döbel
2014/11/09 Re: Need help profiling with Valgrind ba_f
2014/11/09 Re: Need help profiling with Valgrind ba_f
2014/11/08 Second UART and console teclis High Elf
2014/11/07 Re: memory layout Adam Lackorzynski
2014/11/06 memory layout Tobias Woelfel
2014/11/05 Re: Need help profiling with Valgrind Björn Döbel
2014/11/05 Re: How to monitor thread scheduling and the criticality of tasks? Björn Döbel
2014/11/05 How to monitor thread scheduling and the criticality of tasks? Karl Steger
2014/11/05 Re: Question about schedule policy Björn Döbel
2014/11/04 Re: Question about schedule policy Matthias Lange
2014/11/04 Re: Question about schedule policy Björn Döbel
2014/11/04 Question about schedule policy Kevin
2014/11/03 Re: is there a way to run the compiled arm on Nexus S ? cem akpolat
2014/11/03 Re: is there a way to run the compiled arm on Nexus S ? Adam Lackorzynski
2014/11/03 Re: is there a way to run the compiled arm on Nexus S ? cem akpolat
2014/11/01 FOSDEM 2015 - CfP: Microkernels DevRoom Vasily A. Sartakov
2014/11/01 Re: Dummy irq Adam Lackorzynski
2014/11/01 Re: libfs/ FUSE on L4Re Adam Lackorzynski
2014/11/01 Re: is there a way to run the compiled arm on Nexus S ? Adam Lackorzynski
2014/10/30 Dummy irq teclis High Elf
2014/10/30 Re: is there a way to run the compiled arm on Nexus S ? cem akpolat
2014/10/28 Re: Microkernel Stammtisch Dresden: 8pm, Nov 6, Shamrock Julian Stecklina
2014/10/28 Microkernel Stammtisch Dresden: Nov 6, Shamrock Julian Stecklina
2014/10/28 Re: libfs/ FUSE on L4Re Stark, Josef
2014/10/28 Re: libfs/ FUSE on L4Re Florian Pester
2014/10/28 Re: is there a way to run the compiled arm on Nexus S ? Matthias Lange
2014/10/28 Re: is there a way to run the compiled arm on Nexus S ? Christian Helmuth
2014/10/27 libfs/ FUSE on L4Re Stark, Josef
2014/10/27 Re: is there a way to run the compiled arm on Nexus S ? Matthias Lange
2014/10/25 Re: memcpy(): alignment error ba_f
2014/10/23 RE: exec() Jason Butler
2014/10/22 Re: exec() Björn Döbel
2014/10/22 exec() teclis High Elf
2014/10/21 Re: is there a way to run the compiled arm on Nexus S ? Adam Lackorzynski
2014/10/21 Re: memcpy(): alignment error Adam Lackorzynski
2014/10/21 Re: Re[2]: dynamic loading Adam Lackorzynski
2014/10/21 is there a way to run the compiled arm on Nexus S ? cem akpolat
2014/10/20 Re: memcpy(): alignment error ba_f
2014/10/19 Re[2]: dynamic loading Valery V . Sedletski
2014/10/19 Re: SMP for L4Linux on i.MX6 Adam Lackorzynski
2014/10/19 Re: memcpy(): alignment error Adam Lackorzynski
2014/10/19 Re: dynamic loading Adam Lackorzynski
2014/10/16 Re: Teaching OS Course notes Björn Döbel
2014/10/16 Re: SMP for L4Linux on i.MX6 Uwe Geuder
2014/10/16 Re: raw L4Task: Flash Access & Variable ba_f
2014/10/16 Re: Teaching OS Course notes Alexander Aring
2014/10/16 Re: Teaching OS Course notes Marcus Völp
2014/10/16 Teaching OS Course notes teclis High Elf
2014/10/15 Re: dynamic loading Stark, Josef
2014/10/15 dynamic loading teclis High Elf
2014/10/15 raw L4Task: Flash Access & Variable ba_f
2014/10/14 memcpy(): alignment error ba_f
2014/10/13 Re: SMP for L4Linux on i.MX6 Adam Lackorzynski
2014/10/13 SMP for L4Linux on i.MX6 Uwe Geuder
2014/10/13 Re: [ASK] Basic L4Re Matthias Lange
2014/10/10 Re: L4 Bootsrap Fiasco Addr Adam Lackorzynski
2014/10/10 [ASK] Basic L4Re Erry Pradana Darajati
2014/10/10 Re: Thread synchronization with in the same address space Yuxin Ren
2014/10/10 Re: Thread synchronization with in the same address space teclis High Elf
2014/10/10 Re: Thread synchronization with in the same address space Björn Döbel
2014/10/10 Re: examples/libs/l4re/c++/shared_ds/ds_clnt.cc Björn Döbel
2014/10/10 Thread synchronization with in the same address space teclis High Elf
2014/10/10 examples/libs/l4re/c++/shared_ds/ds_clnt.cc teclis High Elf
2014/10/09 Re: Graphical desktop, l4con, mag 000SKY
2014/10/09 Re: contiguous memory blocks and zero copy Björn Döbel
2014/10/09 Re: contiguous memory blocks and zero copy Stark, Josef
2014/10/09 contiguous memory blocks and zero copy teclis High Elf
2014/10/09 AW: L4 Bootsrap Fiasco Addr Wölfel , Tobias
2014/10/09 Re: l4linux shutdown cleanup Martin Schröder
2014/10/08 Re: JDB and thread ids Björn Döbel
2014/10/08 JDB and thread ids teclis High Elf
2014/10/08 l4linux shutdown cleanup Masti Ramya Jayaram
2014/10/07 Re: L4 Bootsrap Fiasco Addr Adam Lackorzynski
2014/10/07 L4 Bootsrap Fiasco Addr Wölfel , Tobias
2014/10/01 Re: Ned,moe, l4linux interaction Adam Lackorzynski
2014/10/01 Re: Difference between capability and memory mapping Adam Lackorzynski
2014/10/01 Re: Ned,moe, l4linux interaction Yuxin Ren
2014/10/01 Re: Difference between capability and memory mapping Yuxin Ren
2014/09/30 Re: Ned,moe, l4linux interaction Adam Lackorzynski
2014/09/30 Re: Difference between capability and memory mapping Adam Lackorzynski
2014/09/30 Ned,moe, l4linux interaction Masti Ramya Jayaram
2014/09/29 Difference between capability and memory mapping Yuxin Ren
2014/09/28 Re: Repository Update David Leimbach
2014/09/28 Repository Update Adam Lackorzynski
2014/09/28 Re: Question about the doc of L4Re Adam Lackorzynski
2014/09/28 Re: L4_SYSCALL_INVOKE is a negative PC value？ Adam Lackorzynski
2014/09/28 Question about the doc of L4Re lwf408498027
2014/09/27 Re: L4_SYSCALL_INVOKE is a negative PC value？ Zachary
2014/09/27 Re: What does idle thread do Adam Lackorzynski
2014/09/27 Re: L4_SYSCALL_INVOKE is a negative PC value？ Adam Lackorzynski
2014/09/26 Re: What does idle thread do Yuxin Ren
2014/09/26 L4_SYSCALL_INVOKE is a negative PC value？ Zachary
2014/09/25 Re: raw L4Task: Flash Access & Variable Adam Lackorzynski
2014/09/25 Re: What does idle thread do Adam Lackorzynski
2014/09/25 raw L4Task: Flash Access & Variable ba_f
2014/09/24 What does idle thread do Yuxin Ren
2014/09/23 Re: Does unmap() flush tlb on other cores Yuxin Ren
2014/09/22 Re: Does unmap() flush tlb on other cores Adam Lackorzynski
2014/09/22 Re: std::cin in Fiasco/L4Re (with 'make qemu') Adam Lackorzynski
2014/09/22 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Adam Lackorzynski
2014/09/20 Re: std::cin in Fiasco/L4Re (with 'make qemu') Stark, Josef
2014/09/20 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Stark, Josef
2014/09/18 Does unmap() flush tlb on other cores Yuxin Ren
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/18 Re: How to debug Fiasco Kernel cem akpolat
2014/09/18 Re: How to debug Fiasco Kernel Marcus Hähnel
2014/09/18 Re: How to debug Fiasco Kernel Markus Partheymueller
2014/09/18 RE: Trimming uclibc in l4 Masti Ramya Jayaram
2014/09/18 How to debug Fiasco Kernel cem akpolat
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/18 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/17 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/16 RE: Trimming uclibc in l4 Marcus Hähnel
2014/09/16 Re: Trimming uclibc in l4 Björn Döbel
2014/09/16 RE: Trimming uclibc in l4 Masti Ramya Jayaram
2014/09/16 RE: Trimming uclibc in l4 Masti Ramya Jayaram
2014/09/16 Re: Trimming uclibc in l4 Marcus Hähnel
2014/09/16 Trimming uclibc in l4 Masti Ramya Jayaram
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/16 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/15 Re: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/15 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Stark, Josef
2014/09/15 Re: Question about dec_lock_cnt method in Context class Adam Lackorzynski
2014/09/15 Re: l4/sys/syscalls.h: No such file or directory Adam Lackorzynski
2014/09/15 Re: Physical memory allocation to L4linux Adam Lackorzynski
2014/09/15 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Adam Lackorzynski
2014/09/15 Re: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/15 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/15 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/15 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/14 Re: Physical memory allocation to L4linux Adam Lackorzynski
2014/09/14 Re: Physical memory allocation to L4linux Adam Lackorzynski
2014/09/14 Re: l4/sys/syscalls.h: No such file or directory Adam Lackorzynski
2014/09/13 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/12 RE: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/12 Re: Using IO-Server Martin Schröder
2014/09/12 Re: shared dataspace for l4re_kernel/ registering additional caps in ned Stark, Josef
2014/09/11 RE: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/11 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/10 Re: l4/sys/syscalls.h: No such file or directory Björn Döbel
2014/09/10 Re: Does Fiasco have yield system call or something similar Björn Döbel
2014/09/10 Does Fiasco have yield system call or something similar Yuxin Ren
2014/09/10 RE: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/10 Re: Using IO-Server Martin Schröder
2014/09/10 Using IO-Server Korbinian Ederer
2014/09/10 Re: l4/sys/syscalls.h: No such file or directory Valentin Hauner
2014/09/10 RE: Aborted L4linux due to CLI/STI Masti Ramya Jayaram
2014/09/10 RE: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/09 Re: GCC 4.9 Adam Lackorzynski
2014/09/09 Re: Question about dec_lock_cnt method in Context class Yuxin Ren
2014/09/09 Re: Preventing access to a part of the address space from Sigma0 Adam Lackorzynski
2014/09/09 Re: Physical memory allocation to L4linux Adam Lackorzynski
2014/09/09 Re: Question about dec_lock_cnt method in Context class Adam Lackorzynski
2014/09/09 Re: Checking executables before running them in L4re/fiasco Adam Lackorzynski
2014/09/09 Re: Aborted L4linux due to CLI/STI Adam Lackorzynski
2014/09/09 GCC 4.9 Stefan Wallentowitz
2014/09/09 RE: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/09 Preventing access to a part of the address space from Sigma0 Masti Ramya Jayaram
2014/09/09 RE: Physical memory allocation to L4linux Masti Ramya Jayaram
2014/09/09 Re: Physical memory allocation to L4linux Martin Schröder
2014/09/09 Physical memory allocation to L4linux Masti Ramya Jayaram