gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 30 of 36). Latest articles →
Fosdem'14
Sat, 24 Aug 2013 22:59:18 +0400Re: NOVA, NUL, snapshotting
Sat, 24 Aug 2013 11:51:37 +0400Re: NOVA, NUL, snapshotting
Fri, 23 Aug 2013 13:23:57 +0200Re: NOVA, NUL, snapshotting
Fri, 23 Aug 2013 15:13:35 +0400Re: Data transfer mechanisms
Tue, 20 Aug 2013 13:13:03 +0300Re: Data transfer mechanisms
Tue, 20 Aug 2013 01:12:33 +0200Re: Data transfer mechanisms
Sun, 18 Aug 2013 21:33:52 +0300Re: Files that Tune Kernel
Sun, 18 Aug 2013 00:54:46 +0200Files that Tune Kernel
Sat, 17 Aug 2013 11:01:04 -0500Re: Desktop Environment
Sat, 17 Aug 2013 13:22:51 +0200Re: Desktop Environment
Fri, 16 Aug 2013 18:30:20 +0200Re: Desktop Environment
Fri, 16 Aug 2013 21:14:18 +0200Re: How to write device driver
Fri, 16 Aug 2013 21:11:37 +0200Desktop Environment
Fri, 16 Aug 2013 10:19:03 -0500Re: l4linux with ide-harddisk
Fri, 16 Aug 2013 00:23:56 +0200Aw: Re: l4linux with ide-harddisk
Wed, 14 Aug 2013 00:32:03 +0200 (CEST)How to write device driver
Wed, 14 Aug 2013 11:16:07 +0530Re: issue in getting vhw_devices....................
Tue, 13 Aug 2013 23:38:57 +0200issue in getting vhw_devices....................
Tue, 13 Aug 2013 15:39:59 +0530Re: Data transfer mechanisms
Mon, 12 Aug 2013 00:22:22 +0200Data transfer mechanisms
Sun, 11 Aug 2013 20:10:29 +0300Re: l4linux with ide-harddisk
Sat, 10 Aug 2013 23:20:06 +0200Re: Issue in getting Virtual Hardware devices
Sat, 10 Aug 2013 22:56:10 +0200l4linux with ide-harddisk
Wed, 7 Aug 2013 15:11:50 +0200 (CEST)Issue in getting Virtual Hardware devices
Thu, 8 Aug 2013 14:40:18 +0530Re: Setting physical CPU for a task
Tue, 6 Aug 2013 23:05:52 +0200Re: Setting physical CPU for a task
Tue, 06 Aug 2013 23:47:58 +0300Re: l4-hackers Digest, Vol 124, Issue 4
Tue, 06 Aug 2013 23:33:25 +0300Re: mmap2 on L4Linux rev 37
Tue, 6 Aug 2013 21:48:19 +0200Re: Setting physical CPU for a task
Tue, 6 Aug 2013 21:46:36 +0200Re: l4-hackers Digest, Vol 124, Issue 4
Tue, 6 Aug 2013 21:28:59 +0200Re: Setting physical CPU for a task
Tue, 06 Aug 2013 14:55:33 +0300mmap2 on L4Linux rev 37
Tue, 06 Aug 2013 12:44:03 +0200Re: l4-hackers Digest, Vol 124, Issue 4
Tue, 06 Aug 2013 12:55:41 +0300Re: l4-hackers Digest, Vol 124, Issue 4
Tue, 06 Aug 2013 12:38:27 +0300Re: Setting physical CPU for a task
Tue, 6 Aug 2013 00:36:50 +0200Re: l4-hackers Digest, Vol 124, Issue 4
Tue, 6 Aug 2013 00:23:04 +0200Re: l4-hackers Digest, Vol 124, Issue 4
Tue, 6 Aug 2013 00:21:45 +0200Setting physical CPU for a task
Mon, 05 Aug 2013 21:50:55 +0300Re: why Fiasco kernel is named as fiasco
Mon, 05 Aug 2013 13:54:42 +0200Re: l4-hackers Digest, Vol 124, Issue 4
Mon, 05 Aug 2013 14:08:40 +0300Re: l4-hackers Digest, Vol 124, Issue 4
Mon, 05 Aug 2013 14:03:48 +0300Re: l4-hackers Digest, Vol 124, Issue 4
Mon, 5 Aug 2013 08:23:58 +0200Re: l4-hackers Digest, Vol 124, Issue 4
Mon, 05 Aug 2013 01:22:17 +0300Re: l4-hackers Digest, Vol 124, Issue 4
Mon, 5 Aug 2013 03:41:53 +0700Unable to boot Fiasco.OC on amd64
Sun, 04 Aug 2013 22:44:24 +0300Re: Use of the PC value in interrupt/exception handlers
Sat, 3 Aug 2013 00:13:44 +0200Re: Use of the PC value in interrupt/exception handlers
Fri, 2 Aug 2013 19:15:51 +0900Use of the PC value in interrupt/exception handlers
Fri, 2 Aug 2013 19:10:54 +0900why Fiasco kernel is named as fiasco
Fri, 2 Aug 2013 10:28:01 +0530Re: l4linux starting - How can I see all Debug messages on serial line ?
Thu, 1 Aug 2013 23:47:19 +0200Re: Fwd: Interrupt Handlers
Thu, 1 Aug 2013 23:31:57 +0200Re: Using the tmpfs library
Thu, 1 Aug 2013 23:30:20 +0200Using the tmpfs library
Thu, 1 Aug 2013 10:43:58 +0200Aw: Re: l4linux starting - How can I see all Debug messages on serial line ?
Wed, 31 Jul 2013 17:56:05 +0200 (CEST)Fwd: Interrupt Handlers
Thu, 1 Aug 2013 21:38:55 +0900Re: Unexpected trap while booting Fiasco
Thu, 1 Aug 2013 00:03:57 +0200Re: Unexpected trap while booting Fiasco
Wed, 31 Jul 2013 15:59:38 +0200Unexpected trap while booting Fiasco
Wed, 31 Jul 2013 13:54:31 +0200Re: l4linux starting - How can I see all Debug messages on serial line ?
Mon, 29 Jul 2013 23:27:30 +0200Aw: Re: l4linux starting - How can I see all Debug messages on serial line ?
Mon, 29 Jul 2013 18:39:04 +0200 (CEST)Re: Build errors with L4
Mon, 29 Jul 2013 10:16:52 -0400Re: Build errors with L4
Mon, 29 Jul 2013 15:12:02 +0200Re: Build errors with L4
Mon, 29 Jul 2013 09:14:10 -0400Re: Build errors with L4
Mon, 29 Jul 2013 08:05:16 -0400Re: Build errors with L4
Mon, 29 Jul 2013 14:49:31 +0200Re: Build errors with L4
Mon, 29 Jul 2013 06:37:46 -0400Re: Build errors with L4
Mon, 29 Jul 2013 00:14:41 +0200Re: Launch of L4Linux
Mon, 29 Jul 2013 00:09:49 +0200Build errors with L4
Sat, 27 Jul 2013 16:36:24 -0400Re: Launch of L4Linux
Sun, 28 Jul 2013 03:59:58 +0200Re: Launch of L4Linux
Sun, 28 Jul 2013 00:03:31 +0200Re: l4linux starting - How can I see all Debug messages on serial line ?
Sat, 27 Jul 2013 23:56:10 +0200Re: Getting fiasco-ux to exit after moe's init process terminates
Sat, 27 Jul 2013 23:47:37 +0200Aw: Re: l4linux starting - How can I see all Debug messages on serial line ?
Fri, 26 Jul 2013 14:55:13 +0200 (CEST)Getting fiasco-ux to exit after moe's init process terminates
Thu, 25 Jul 2013 22:34:17 -0700Re: Launch of L4Linux
Thu, 25 Jul 2013 23:55:57 +0200Re: Launch of L4Linux
Thu, 25 Jul 2013 23:53:10 +0200Re: l4linux starting - How can I see all Debug messages on serial line ?
Thu, 25 Jul 2013 23:50:58 +0200l4linux starting - How can I see all Debug messages on serial line ?
Wed, 24 Jul 2013 15:26:05 +0200 (CEST)Re: Launch of L4Linux
Thu, 25 Jul 2013 14:52:49 +0200Re: Launch of L4Linux
Mon, 22 Jul 2013 21:24:44 +0200Re: Launch of L4Linux
Mon, 22 Jul 2013 15:10:34 +0200Re: Problem with setting up namespaces
Fri, 19 Jul 2013 18:00:48 +0200Re: l4linux: l4x_setup_memory:Cant get main memory
Thu, 18 Jul 2013 23:58:48 +0200Re: Fiasco.OC Kernel memory running out (I think)
Thu, 18 Jul 2013 23:52:23 +0200Re: Launch of L4Linux
Thu, 18 Jul 2013 23:47:47 +0200Re: Problem with setting up namespaces
Thu, 18 Jul 2013 21:00:19 +0200Re: NOVA, NUL, snapshotting
Thu, 18 Jul 2013 20:14:58 +0200Re: Problem with setting up namespaces
Thu, 18 Jul 2013 18:53:37 +0200Aw: Re: l4linux: l4x_setup_memory:Cant get main memory
Thu, 18 Jul 2013 16:42:26 +0200 (CEST)Re: Problem with setting up namespaces
Thu, 18 Jul 2013 16:06:56 +0200Fiasco.OC Kernel memory running out (I think)
Wed, 17 Jul 2013 16:20:45 -0700Re: Problem with setting up namespaces
Thu, 18 Jul 2013 17:32:42 +0200Re: NOVA, NUL, snapshotting
Thu, 18 Jul 2013 18:30:46 +0400Re: Problem with setting up namespaces
Thu, 18 Jul 2013 15:40:21 +0200Problem with setting up namespaces
Wed, 17 Jul 2013 22:08:14 +0200Launch of L4Linux
Wed, 17 Jul 2013 10:41:52 +0200Re: Error during the "ned" package build (svn revision 42)
Tue, 16 Jul 2013 23:21:04 +0200Re: l4linux: l4x_setup_memory:Cant get main memory
Tue, 16 Jul 2013 22:52:35 +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.