gmane.comp.micro-kernel.l4.devel archive

3571 archived articles, newest first (page 22 of 36). Latest articles →

RE: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 15:48:41 +0000
"Masti Ramya Jayaram" <[email protected]> • #5915
RE: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 15:45:17 +0000
"Masti Ramya Jayaram" <[email protected]> • #5914
Re: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 17:35:19 +0200
Martin Schröder <[email protected]> • #5913
RE: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 14:56:51 +0000
"Masti Ramya Jayaram" <[email protected]> • #5912
Re: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 16:29:48 +0200
Martin Schröder <[email protected]> • #5911
Re: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 16:02:51 +0200
Martin Schröder <[email protected]> • #5910
RE: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 13:58:20 +0000
"Masti Ramya Jayaram" <[email protected]> • #5909
RE: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 13:55:29 +0000
"Masti Ramya Jayaram" <[email protected]> • #5908
RE: Minimal requirements to run L4linux using only a serial console
Fri, 29 Aug 2014 10:15:35 +0000
"Masti Ramya Jayaram" <[email protected]> • #5907
Re: advice on using ddelinux
Thu, 28 Aug 2014 13:32:30 +0200
Björn Döbel <[email protected]> • #5906
Re: l4/sys/syscalls.h: No such file or directory
Thu, 28 Aug 2014 10:18:11 +0200
Valentin Hauner <[email protected]> • #5905
Re: Mapping memory into process address space
Thu, 28 Aug 2014 08:36:25 +0200
Björn Döbel <[email protected]> • #5904
Re: Mapping memory into process address space
Wed, 27 Aug 2014 21:33:41 -0700
Noah Zentzis <[email protected]> • #5903
Re: GPIO Interrupt on L4Linux
Thu, 28 Aug 2014 00:37:13 +0200
Adam Lackorzynski <[email protected]> • #5902
Re: Fiasco, L4Re, L4linux for Pentium 5
Thu, 28 Aug 2014 00:30:28 +0200
Adam Lackorzynski <[email protected]> • #5901
Re: Device Tree Blob support in l4linux
Thu, 28 Aug 2014 00:05:17 +0200
Adam Lackorzynski <[email protected]> • #5900
Re: advice on using ddelinux
Thu, 28 Aug 2014 00:00:33 +0200
Björn Döbel <[email protected]> • #5899
Question about dec_lock_cnt method in Context class
Wed, 27 Aug 2014 14:28:05 -0400
Yuxin Ren <[email protected]> • #5898
Re: Minimal requirements to run L4linux using only a serial console
Wed, 27 Aug 2014 18:32:31 +0200
Martin Schröder <[email protected]> • #5897
RE: Minimal requirements to run L4linux using only a serial console
Wed, 27 Aug 2014 16:02:45 +0000
"Masti Ramya Jayaram" <[email protected]> • #5896
Re: Minimal requirements to run L4linux using only a serial console
Wed, 27 Aug 2014 16:28:32 +0200
Martin Schröder <[email protected]> • #5895
RE: Minimal requirements to run L4linux using only a serial console
Wed, 27 Aug 2014 13:18:12 +0000
"Masti Ramya Jayaram" <[email protected]> • #5894
Minimal requirements to run L4linux using only a serial console
Wed, 27 Aug 2014 12:07:49 +0000
"Masti Ramya Jayaram" <[email protected]> • #5893
GPIO Interrupt on L4Linux
Tue, 26 Aug 2014 23:04:41 +0300
Yunchuan Geng <[email protected]> • #5892
Re: advice on using ddelinux
Tue, 26 Aug 2014 14:09:26 +0200
Björn Döbel <[email protected]> • #5891
advice on using ddelinux
Tue, 26 Aug 2014 13:54:37 +0200
Korbinian Ederer <[email protected]> • #5890
Fiasco, L4Re, L4linux for Pentium 5
Mon, 25 Aug 2014 13:04:25 +0000
"Masti Ramya Jayaram" <[email protected]> • #5889
Re: Device Tree Blob support in l4linux
Mon, 25 Aug 2014 14:22:57 +0200
Martin Schröder <[email protected]> • #5888
Re: Locks in Base_mappable class
Sun, 24 Aug 2014 23:57:22 +0200
Adam Lackorzynski <[email protected]> • #5887
Re: Locks in Base_mappable class
Sun, 24 Aug 2014 23:38:50 +0200
Adam Lackorzynski <[email protected]> • #5886
Re: l4/sys/syscalls.h: No such file or directory
Sun, 24 Aug 2014 23:27:51 +0200
Adam Lackorzynski <[email protected]> • #5885
Re: l4/sys/syscalls.h: No such file or directory
Sat, 23 Aug 2014 15:12:01 +0200
Valentin Hauner <[email protected]> • #5884
Locks in Base_mappable class
Fri, 22 Aug 2014 16:45:51 -0400
Yuxin Ren <[email protected]> • #5883
Re: How can a thread map memory to itself
Fri, 22 Aug 2014 18:59:13 +0200
Martin Schröder <[email protected]> • #5882
Re: How can a thread map memory to itself
Fri, 22 Aug 2014 18:05:48 +0200
Matthias Lange <[email protected]> • #5881
Re: How can a thread map memory to itself
Fri, 22 Aug 2014 13:37:24 +0200
Martin Schröder <[email protected]> • #5880
Re: How can a thread map memory to itself
Thu, 21 Aug 2014 23:50:31 +0200
Adam Lackorzynski <[email protected]> • #5879
Re: l4/sys/syscalls.h: No such file or directory
Thu, 21 Aug 2014 23:49:03 +0200
Adam Lackorzynski <[email protected]> • #5878
Re: Doubt about fiasco-l4re on FastModels
Thu, 21 Aug 2014 23:36:08 +0200
Adam Lackorzynski <[email protected]> • #5877
Re: Mapping memory into process address space
Thu, 21 Aug 2014 23:14:25 +0200
Adam Lackorzynski <[email protected]> • #5876
Re: Device Tree Blob support in l4linux
Thu, 21 Aug 2014 23:03:07 +0200
Adam Lackorzynski <[email protected]> • #5875
Re: How can a thread map memory to itself
Thu, 21 Aug 2014 18:57:47 +0200
Martin Schröder <[email protected]> • #5874
Re: l4/sys/syscalls.h: No such file or directory
Thu, 21 Aug 2014 16:18:46 +0200
Valentin Hauner <[email protected]> • #5873
Re: How can a thread map memory to itself
Wed, 20 Aug 2014 22:15:38 +0200
Björn Döbel <[email protected]> • #5872
Re: l4/sys/syscalls.h: No such file or directory
Wed, 20 Aug 2014 19:53:02 +0200
Björn Döbel <[email protected]> • #5871
Re: l4/sys/syscalls.h: No such file or directory
Wed, 20 Aug 2014 19:06:05 +0200
Valentin Hauner <[email protected]> • #5870
Doubt about fiasco-l4re on FastModels
Wed, 20 Aug 2014 18:41:25 +0200
Maria Soler <[email protected]> • #5869
Re: Mapping memory into process address space
Tue, 19 Aug 2014 20:59:16 -0700
Noah Zentzis <[email protected]> • #5868
Re: How can a thread map memory to itself
Tue, 19 Aug 2014 18:41:35 +0200
Björn Döbel <[email protected]> • #5867
How can a thread map memory to itself
Tue, 19 Aug 2014 12:12:04 -0400
Yuxin Ren <[email protected]> • #5866
Re: Device Tree Blob support in l4linux
Tue, 19 Aug 2014 17:43:29 +0200
Martin Schröder <[email protected]> • #5865
Re: l4/sys/syscalls.h: No such file or directory
Tue, 19 Aug 2014 06:05:50 -0700
David Leimbach <[email protected]> • #5864
Re: Mapping memory into process address space
Tue, 19 Aug 2014 15:01:02 +0200
Björn Döbel <[email protected]> • #5863
Re: shared dataspace for l4re_kernel/ registering additional caps in ned
Tue, 19 Aug 2014 14:56:52 +0200
Björn Döbel <[email protected]> • #5862
Re: shared dataspace for l4re_kernel/ registering additional caps in ned
Tue, 19 Aug 2014 12:55:18 +0000
"Stark, Josef" <[email protected]> • #5861
Re: l4/sys/syscalls.h: No such file or directory
Tue, 19 Aug 2014 14:55:57 +0200
Björn Döbel <[email protected]> • #5860
Re: l4/sys/syscalls.h: No such file or directory
Tue, 19 Aug 2014 14:39:00 +0200
Valentin Hauner <[email protected]> • #5859
Re: l4/sys/syscalls.h: No such file or directory
Tue, 19 Aug 2014 05:34:20 -0700
David Leimbach <[email protected]> • #5858
Re: Device Tree Blob support in l4linux
Tue, 19 Aug 2014 14:25:53 +0200
Martin Schröder <[email protected]> • #5857
l4/sys/syscalls.h: No such file or directory
Tue, 19 Aug 2014 14:20:20 +0200
Valentin Hauner <[email protected]> • #5856
Re: Device Tree Blob support in l4linux
Tue, 19 Aug 2014 10:32:45 +0200
Martin Schröder <[email protected]> • #5855
Re: Device Tree Blob support in l4linux
Tue, 19 Aug 2014 10:21:36 +0300
Yunchuan Geng <[email protected]> • #5854
Re: shared dataspace for l4re_kernel/ registering additional caps in ned
Tue, 19 Aug 2014 00:24:55 +0200
Adam Lackorzynski <[email protected]> • #5853
Re: Device Tree Blob support in l4linux
Tue, 19 Aug 2014 00:13:41 +0200
Adam Lackorzynski <[email protected]> • #5852
Re: Adding a new scheduling algorithm to Fiasco.OC
Tue, 19 Aug 2014 00:01:42 +0200
Adam Lackorzynski <[email protected]> • #5851
Re: Adding a new scheduling algorithm to Fiasco.OC
Mon, 18 Aug 2014 23:39:40 +0200
Adam Lackorzynski <[email protected]> • #5850
Re: Device Tree Blob support in l4linux
Mon, 18 Aug 2014 19:38:54 +0200
Martin Schröder <[email protected]> • #5849
Re: I share a document to access HW on L4 Linux.
Mon, 18 Aug 2014 13:38:56 +0300
Yunchuan Geng <[email protected]> • #5848
Re: compiling and running l4android-arm in qemu
Mon, 18 Aug 2014 08:24:06 +0200
Matthias Lange <[email protected]> • #5847
Re: Adding a new scheduling algorithm to Fiasco.OC
Sun, 17 Aug 2014 20:51:40 +0200
Valentin Hauner <[email protected]> • #5846
Re: AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Sun, 17 Aug 2014 11:03:07 +0000
"Stark, Josef" <[email protected]> • #5845
compiling and running l4android-arm in qemu
Fri, 15 Aug 2014 14:18:43 +0200
cem akpolat <[email protected]> • #5844
Re: Adding a new scheduling algorithm to Fiasco.OC
Fri, 15 Aug 2014 11:29:11 +0200
Valentin Hauner <[email protected]> • #5843
Re: Mapping memory into process address space
Fri, 15 Aug 2014 08:06:59 +0200
Björn Döbel <[email protected]> • #5842
Re: Mapping memory into process address space
Thu, 14 Aug 2014 18:33:33 -0700
Noah Zentzis <[email protected]> • #5841
Re: Mapping memory into process address space
Fri, 15 Aug 2014 00:01:17 +0200
Adam Lackorzynski <[email protected]> • #5840
Re: Build system
Thu, 14 Aug 2014 23:26:32 +0200
Adam Lackorzynski <[email protected]> • #5839
Re: Adding a new scheduling algorithm to Fiasco.OC
Thu, 14 Aug 2014 23:22:36 +0200
Adam Lackorzynski <[email protected]> • #5838
Re: Build system
Thu, 14 Aug 2014 12:16:41 -0400
teclis High Elf <[email protected]> • #5837
Re: AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Thu, 14 Aug 2014 10:55:42 +0000
"Stark, Josef" <[email protected]> • #5836
Mapping memory into process address space
Thu, 14 Aug 2014 01:22:31 -0700
Noah Zentzis <[email protected]> • #5835
Re: Adding a new scheduling algorithm to Fiasco.OC
Thu, 14 Aug 2014 00:30:59 +0200
Valentin Hauner <[email protected]> • #5834
Re: Build system
Thu, 14 Aug 2014 00:18:20 +0200
Adam Lackorzynski <[email protected]> • #5833
Build system
Wed, 13 Aug 2014 18:09:15 -0400
teclis High Elf <[email protected]> • #5832
Re: Device Tree Blob support in l4linux
Wed, 13 Aug 2014 22:40:00 +0200
Adam Lackorzynski <[email protected]> • #5831
Re: Accessing dbg_info()->dbg_id() for threads in ready queue class
Wed, 13 Aug 2014 22:35:21 +0200
Adam Lackorzynski <[email protected]> • #5830
Re: Adding a new scheduling algorithm to Fiasco.OC
Wed, 13 Aug 2014 22:23:33 +0200
Adam Lackorzynski <[email protected]> • #5829
Re: AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Wed, 13 Aug 2014 11:00:41 +0000
"Stark, Josef" <[email protected]> • #5828
Re: AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Wed, 13 Aug 2014 12:33:51 +0200
Björn Döbel <[email protected]> • #5827
AW: shared dataspace for l4re_kernel/ registering additional caps in ned
Wed, 13 Aug 2014 10:16:56 +0000
"Stark, Josef" <[email protected]> • #5826
Accessing dbg_info()->dbg_id() for threads in ready queue class
Wed, 13 Aug 2014 11:45:20 +0200
Valentin Hauner <[email protected]> • #5825
Re: shared dataspace for l4re_kernel/ registering additional caps in ned
Wed, 13 Aug 2014 09:05:44 +0200
Björn Döbel <[email protected]> • #5824
Re: Mapping memory into process address space
Wed, 13 Aug 2014 08:50:48 +0200
Björn Döbel <[email protected]> • #5823
Mapping memory into process address space
Tue, 12 Aug 2014 19:26:30 -0700
Noah Zentzis <[email protected]> • #5822
Re: Device Tree Blob support in l4linux
Tue, 12 Aug 2014 19:54:37 +0200
Martin Schröder <[email protected]> • #5821
shared dataspace for l4re_kernel/ registering additional caps in ned
Tue, 12 Aug 2014 15:55:11 +0000
"Stark, Josef" <[email protected]> • #5820
Re: Adding a new scheduling algorithm to Fiasco.OC
Tue, 12 Aug 2014 10:05:46 +0200
Valentin Hauner <[email protected]> • #5819
Re: Device Tree Blob support in l4linux
Mon, 11 Aug 2014 23:41:39 +0200
Adam Lackorzynski <[email protected]> • #5818
Re: Adding a new scheduling algorithm to Fiasco.OC
Mon, 11 Aug 2014 23:35:40 +0200
Adam Lackorzynski <[email protected]> • #5817
Re: Question about IPI interrupt handler
Mon, 11 Aug 2014 22:59:02 +0200
Adam Lackorzynski <[email protected]> • #5816
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.