gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 23 of 36). Latest articles →
Re: Device Tree Blob support in l4linux
Mon, 11 Aug 2014 19:13:51 +0200Re: how to get or initialize clock in L4Linux
Fri, 08 Aug 2014 15:53:22 +0200Re: how to get or initialize clock in L4Linux
Fri, 08 Aug 2014 13:33:34 +0300Re: how to get or initialize clock in L4Linux
Fri, 08 Aug 2014 12:20:45 +0200how to get or initialize clock in L4Linux
Fri, 08 Aug 2014 11:49:27 +0300Re: Adding a new scheduling algorithm to Fiasco.OC
Thu, 07 Aug 2014 15:43:20 +0200Re: strange response time question
Wed, 06 Aug 2014 23:56:41 +0200Re: strange response time question
Wed, 6 Aug 2014 17:51:15 -0400Re: strange response time question
Wed, 6 Aug 2014 23:42:28 +0200Re: I share a document to access HW on L4 Linux.
Wed, 06 Aug 2014 13:42:06 +0300Re: I share a document to access HW on L4 Linux.
Wed, 06 Aug 2014 13:04:58 +0300Re: I share a document to access HW on L4 Linux.
Wed, 06 Aug 2014 12:43:10 +0300Re: strange response time question
Wed, 6 Aug 2014 10:36:11 +1000Re: strange response time question
Wed, 6 Aug 2014 00:18:05 +0000Re: response time in Fiasco
Wed, 6 Aug 2014 09:39:29 +1000Re: strange response time question
Wed, 6 Aug 2014 09:45:15 +1000Question about IPI interrupt handler
Tue, 5 Aug 2014 15:00:02 -0800Re: strange response time question
Tue, 5 Aug 2014 17:19:09 -0400Re: Adding a new scheduling algorithm to Fiasco.OC
Tue, 5 Aug 2014 22:59:34 +0200Re: Device Tree Blob support in l4linux
Tue, 5 Aug 2014 22:44:26 +0200Re: strange response time question
Tue, 5 Aug 2014 22:41:32 +0200Re: response time in Fiasco
Tue, 5 Aug 2014 22:37:31 +0200Re: DDE-Kit
Tue, 05 Aug 2014 19:23:34 +0200strange response time question
Tue, 5 Aug 2014 13:03:51 -0400Device Tree Blob support in l4linux
Tue, 05 Aug 2014 17:56:54 +0200DDE-Kit
Tue, 05 Aug 2014 11:04:43 +0200Re: Do L4 Linux lack source code about Freescale i.MX6 Quad ?
Mon, 04 Aug 2014 10:14:44 +0200Re: Do L4 Linux lack source code about Freescale i.MX6 Quad ?
Mon, 04 Aug 2014 10:47:44 +0300seL4 boot issue
Sun, 3 Aug 2014 19:58:58 -0500response time in Fiasco
Fri, 1 Aug 2014 18:15:18 -0400Re: Adding a new scheduling algorithm to Fiasco.OC
Fri, 01 Aug 2014 16:28:12 +0200Re: Task creation in ned or moe
Thu, 31 Jul 2014 14:53:26 +0200Task creation in ned or moe
Thu, 31 Jul 2014 09:09:41 +0000Re: LUA bindings / kill task
Thu, 31 Jul 2014 00:07:11 +0200Re: LUA bindings / kill task
Wed, 30 Jul 2014 10:08:20 +0000LUA bindings / kill task
Wed, 30 Jul 2014 05:28:43 +0000Re: Problems with python to compile seL4
Tue, 29 Jul 2014 15:21:11 +0200Re: Problems with python to compile seL4
Tue, 29 Jul 2014 08:58:05 -0500Re: Problems with python to compile seL4
Tue, 29 Jul 2014 15:28:28 +0200Problems with python to compile seL4
Tue, 29 Jul 2014 08:09:44 -0500seL4 is free!
Tue, 29 Jul 2014 15:27:54 +1000Re: Question about IPI
Mon, 28 Jul 2014 23:40:35 +0200Re: Start a process with a specified pager
Thu, 24 Jul 2014 23:44:46 +0200Re: Question about IPI
Thu, 24 Jul 2014 17:41:14 -0400Re: Question about irq
Thu, 24 Jul 2014 23:11:36 +0200Re: Why need a lock in memory/capability map
Thu, 24 Jul 2014 22:49:01 +0200Re: Question about IPI
Thu, 24 Jul 2014 22:46:27 +0200Start a process with a specified pager
Thu, 24 Jul 2014 02:14:56 -0700Re: Segmentation fault while running arm image on top of qemu
Thu, 24 Jul 2014 11:24:43 +0200Re: l4android compilation issue
Thu, 24 Jul 2014 10:17:42 +0200Question about irq
Wed, 23 Jul 2014 18:39:38 +0200Re: l4android compilation issue
Wed, 23 Jul 2014 17:22:52 +0200Re: l4android compilation issue
Wed, 23 Jul 2014 17:10:38 +0200Re: l4android compilation issue
Wed, 23 Jul 2014 16:49:11 +0200Segmentation fault while running arm image on top of qemu
Wed, 23 Jul 2014 16:22:07 +0200Re: l4android compilation issue
Tue, 22 Jul 2014 10:16:19 +0200Re: l4android compilation issue
Tue, 22 Jul 2014 10:07:22 +0200Re: l4android compilation issue
Tue, 22 Jul 2014 09:54:09 +0200Re: l4android compilation issue
Mon, 21 Jul 2014 21:38:58 +0200Re: l4android compilation issue
Mon, 21 Jul 2014 20:38:17 +0200Re: booting lx_ginger.iso
Mon, 21 Jul 2014 20:35:50 +0200booting lx_ginger.iso
Mon, 21 Jul 2014 18:22:32 +0200RE: Timer Interrupt Handler
Mon, 21 Jul 2014 17:53:40 +0200l4android compilation issue
Mon, 21 Jul 2014 17:11:06 +0200Re: Why need a lock in memory/capability map
Mon, 21 Jul 2014 10:15:23 +0800Re: Question about IPI
Mon, 21 Jul 2014 10:09:27 +0800Re: Why need a lock in memory/capability map
Sun, 20 Jul 2014 23:34:12 +0200Re: Question about IPI
Sun, 20 Jul 2014 23:23:40 +0200Re: Timer Interrupt Handler
Sun, 20 Jul 2014 23:14:34 +0200Why need a lock in memory/capability map
Fri, 18 Jul 2014 18:34:31 -0400Re: Fiasco bug
Fri, 18 Jul 2014 11:36:43 +0200RE: Timer Interrupt Handler
Fri, 18 Jul 2014 11:27:16 +0200Fiasco bug
Fri, 18 Jul 2014 10:36:03 +0200Re: l4lx_memory_map_virtual_page messages ending in internal error
Fri, 18 Jul 2014 02:28:42 +0300Re: Timer Interrupt Handler
Thu, 17 Jul 2014 23:20:54 +0200Re: l4lx_memory_map_virtual_page messages ending in internal error
Thu, 17 Jul 2014 23:06:10 +0200Question about IPI
Thu, 17 Jul 2014 13:03:31 -0400Timer Interrupt Handler
Wed, 16 Jul 2014 15:10:29 +0200Re: l4lx_memory_map_virtual_page messages ending in internal error
Wed, 16 Jul 2014 00:51:01 +0300Re: Question about function l4_sched_set_cpu_set
Tue, 15 Jul 2014 23:49:12 +0200Re: Question about _wq in the class Sender
Tue, 15 Jul 2014 23:34:16 +0200Question about function l4_sched_set_cpu_set
Tue, 15 Jul 2014 17:18:15 -0400Re: Question about _wq in the class Sender
Mon, 14 Jul 2014 18:51:45 -0400Re: l4lx_memory_map_virtual_page messages ending in internal error
Mon, 14 Jul 2014 23:46:11 +0200Re: How to enable scheduling time in one-shot model
Mon, 14 Jul 2014 23:10:13 +0200Re: Question about _wq in the class Sender
Mon, 14 Jul 2014 23:06:57 +0200Re: How to enable scheduling time in one-shot model
Mon, 14 Jul 2014 23:04:59 +0200How to enable scheduling time in one-shot model
Mon, 14 Jul 2014 11:09:40 -0400Re: User space filesystems for L4Linux
Mon, 14 Jul 2014 12:46:25 +0200l4lx_memory_map_virtual_page messages ending in internal error
Fri, 11 Jul 2014 19:52:29 +0300Re: User space filesystems for L4Linux
Fri, 11 Jul 2014 19:33:57 +0300User space filesystems for L4Linux
Fri, 11 Jul 2014 00:16:57 +0300Question about _wq in the class Sender
Thu, 10 Jul 2014 14:20:20 -0400Re: Pid 1 crashing under L4Linux
Wed, 09 Jul 2014 15:30:15 +0300Re: Who uses memory originally from IO device
Wed, 9 Jul 2014 00:39:17 +0200Re: Pid 1 crashing under L4Linux
Wed, 9 Jul 2014 00:38:21 +0200Pid 1 crashing under L4Linux
Wed, 09 Jul 2014 01:23:52 +0300Re: Who uses memory originally from IO device
Tue, 08 Jul 2014 11:20:20 +0200Re: Fwd: Problems using qemu devices from l4re
Tue, 8 Jul 2014 00:05:36 +0200Re: Who uses memory originally from IO device
Mon, 7 Jul 2014 23:54:18 +0200
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.