gmane.comp.micro-kernel.l4.l4ka.general archive
388 archived articles, newest first (page 2 of 4). Latest articles →
Re: POWER64 architecture support
Thu, 24 Feb 2011 15:51:31 -0500Re: POWER64 architecture support
Thu, 24 Feb 2011 21:24:21 +0100RE: Psim and kickstart
Thu, 24 Feb 2011 15:19:11 +0000RE: Psim and kickstart
Thu, 10 Feb 2011 07:40:06 +0000Re: Psim and kickstart
Wed, 9 Feb 2011 12:06:23 +0100RE: Psim and kickstart
Wed, 9 Feb 2011 09:08:37 +0000RE: POWER64 architecture support
Wed, 9 Feb 2011 08:51:25 +0000Re: POWER64 architecture support
Wed, 9 Feb 2011 15:30:32 +1100POWER64 architecture support
Tue, 8 Feb 2011 21:25:37 -0500Psim and kickstart
Mon, 7 Feb 2011 18:48:47 +0100Re: L4Ka::Pistachio for SPARC?
Mon, 7 Feb 2011 07:30:55 +1100L4Ka::Pistachio for SPARC?
Sun, 6 Feb 2011 12:34:01 +0100Re: L4Ka::Pistachio hangs at 'Launching kernel...'
Fri, 4 Feb 2011 13:52:07 -0800Re: L4Ka::Pistachio hangs at 'Launching kernel...'
Fri, 04 Feb 2011 13:22:41 -0600L4Ka::Pistachio hangs at 'Launching kernel...'
Fri, 4 Feb 2011 12:04:10 -0500Public release of seL4
Wed, 2 Feb 2011 17:12:35 +1100RE: FPage
Wed, 19 Jan 2011 15:26:42 +0000RE: FPage
Wed, 19 Jan 2011 13:00:26 +0000RE: FPage
Wed, 19 Jan 2011 11:36:12 +0000FPage
Wed, 19 Jan 2011 13:52:53 +0300RE: P2020 PowerPC Version
Wed, 12 Jan 2011 10:29:50 +0000P2020 PowerPC Version
Tue, 11 Jan 2011 19:33:46 +0100Re: Pagefault in StringItem IPC
Fri, 03 Dec 2010 18:43:35 +0100RE: Pagefault in StringItem IPC
Fri, 3 Dec 2010 14:55:42 +0000RE:
Fri, 3 Dec 2010 14:26:27 +0000Re: Pagefault in StringItem IPC
Tue, 30 Nov 2010 19:43:14 +0100Pagefault in StringItem IPC
Tue, 30 Nov 2010 19:15:34 +0100(unknown)
Thu, 25 Nov 2010 13:27:52 -0500Some troubles with an hand-made pager
Tue, 16 Nov 2010 20:37:55 +0100RE: L4_ThreadIdBits(kip) ?
Tue, 9 Nov 2010 19:23:46 +0000L4_ThreadIdBits(kip) ?
Thu, 04 Nov 2010 14:17:30 +0100RE: compilation problems
Mon, 25 Oct 2010 19:12:12 +0000compilation problems
Mon, 25 Oct 2010 12:54:52 -0400Re: l4ka Digest, Vol 79, Issue 9
Mon, 25 Oct 2010 14:58:16 +0400how to try out L4Ka in a virtual machine?
Mon, 25 Oct 2010 08:55:33 +0800Re: How to create a thread ?
Mon, 18 Oct 2010 11:53:51 +0200How to create a thread ?
Sun, 17 Oct 2010 18:45:56 +0200Re: Recreating BEOS on L4:pistachio
Fri, 15 Oct 2010 07:13:24 -0700Re: Recreating BEOS on L4:pistachio
Fri, 15 Oct 2010 13:07:44 +0200Recreating BEOS on L4:pistachio
Fri, 15 Oct 2010 13:57:33 +0300RE: [Patch] PIC support for syscall bindings
Thu, 14 Oct 2010 13:40:55 +0000Local threads ?
Thu, 14 Oct 2010 12:19:38 +0200Re: Virtual memory and pager
Mon, 11 Oct 2010 17:12:06 +0200Re: Virtual memory and pager
Mon, 11 Oct 2010 16:43:26 +0200[Patch] PIC support for syscall bindings
Mon, 11 Oct 2010 15:16:36 +0200Re: Virtual memory and pager
Mon, 11 Oct 2010 15:08:35 +0200Re: Virtual memory and pager
Mon, 11 Oct 2010 14:46:01 +0200Virtual memory and pager
Sun, 10 Oct 2010 19:52:15 +0200Re: Kickstart panics
Mon, 04 Oct 2010 18:48:01 +0200RE: Kickstart panics
Mon, 4 Oct 2010 10:26:44 +0000Kickstart panics
Fri, 01 Oct 2010 18:54:46 +0200[Solved] Re: How to build userland ?
Fri, 01 Oct 2010 18:43:52 +0200How to build userland ?
Thu, 30 Sep 2010 19:10:59 +0200Re: New list member
Wed, 29 Sep 2010 08:51:42 +0200Re: New list member
Wed, 29 Sep 2010 09:28:54 +0200New list member
Tue, 28 Sep 2010 12:46:49 -0700 (PDT)RE: OSDI paper based on L4ka::Pistachio
Tue, 28 Sep 2010 17:10:15 +0200OSDI paper based on L4ka::Pistachio
Tue, 28 Sep 2010 09:30:28 -0500Re: New to L4
Tue, 7 Sep 2010 10:16:10 +0530RE: New to L4
Mon, 6 Sep 2010 10:55:28 +0200New to L4
Wed, 25 Aug 2010 13:36:06 +0530RE: Overmap from sigma0 to roottask
Fri, 6 Aug 2010 11:06:50 +0200Re: Overmap from sigma0 to roottask
Wed, 04 Aug 2010 10:51:12 +0200Overmap from sigma0 to roottask
Wed, 04 Aug 2010 10:46:01 +0200Re: Mutexes on L4Ka::Pistachio?
Wed, 21 Jul 2010 02:49:15 +0200Re: Mutexes on L4Ka::Pistachio?
Mon, 19 Jul 2010 13:10:19 +0200Re: Mutexes on L4Ka::Pistachio?
Mon, 19 Jul 2010 11:32:23 +0200RE: Typo in L4 X.2 Reference Manual r6?
Mon, 19 Jul 2010 10:03:25 +0200RE: Mutexes on L4Ka::Pistachio?
Mon, 19 Jul 2010 09:11:50 +0200Typo in L4 X.2 Reference Manual r6?
Sun, 18 Jul 2010 20:14:08 +0200RE: Patch
Tue, 13 Jul 2010 14:51:47 +0200Mutexes on L4Ka::Pistachio?
Mon, 12 Jul 2010 18:56:43 +0200Patch
Thu, 8 Jul 2010 20:09:14 +0500Re: Error building native network drivers in Afterburner
Tue, 29 Jun 2010 10:55:38 -0700 (PDT)RE: A small patch to user/Mk/l4.prog.mk
Tue, 29 Jun 2010 15:43:49 +0200A small patch to user/Mk/l4.prog.mk
Sun, 27 Jun 2010 21:49:53 +0200RE: Error building native network drivers in Afterburner
Thu, 24 Jun 2010 11:20:43 +0200Re: Error building native network drivers in Afterburner
Wed, 23 Jun 2010 13:15:20 -0700 (PDT)Re: Where is CONFIG_KDB_BOOT_CONS defined?
Tue, 22 Jun 2010 12:29:32 +0200RE: Error building native network drivers in Afterburner
Tue, 22 Jun 2010 09:03:58 +0200RE: Where is CONFIG_KDB_BOOT_CONS defined?
Tue, 22 Jun 2010 09:02:40 +0200Where is CONFIG_KDB_BOOT_CONS defined?
Mon, 21 Jun 2010 20:55:19 +0200Error building native network drivers in Afterburner
Sun, 20 Jun 2010 08:52:29 -0700 (PDT)RE: A patch to eliminate warnings on casts
Tue, 1 Jun 2010 14:21:24 +0200RE: Sanitize the element when dequing
Tue, 1 Jun 2010 11:17:36 +0200Loading Modules, Starting Threads
Tue, 25 May 2010 12:04:17 +0200Re: Native L4 network application
Tue, 18 May 2010 10:21:10 -0700 (PDT)Re: Is L4Ka::Pistachio really GPL-free?
Mon, 17 May 2010 22:31:20 +0200RE: Native L4 network application
Mon, 17 May 2010 15:29:31 +0200RE: Is L4Ka::Pistachio really GPL-free?
Mon, 17 May 2010 15:09:19 +0200Re: a "hello world" under l4
Sun, 16 May 2010 17:20:38 +0200a "hello world" under l4
Sat, 15 May 2010 12:07:25 +0400Re: Is L4Ka::Pistachio really GPL-free?
Fri, 7 May 2010 16:17:07 +0200Native L4 network application
Mon, 3 May 2010 14:32:02 -0700 (PDT)Sanitize the element when dequing
Wed, 28 Apr 2010 16:21:41 -0500Re: A patch to eliminate warnings on casts
Sun, 25 Apr 2010 22:16:54 -0500Re: [afterburner]Failed to build binutils when "make world"
Sat, 24 Apr 2010 19:16:35 -0800Re: Race condition in interrupt handling
Sat, 24 Apr 2010 00:44:41 -0500Re: Race condition in interrupt handling
Fri, 23 Apr 2010 16:45:50 -0500RE: [afterburner]Failed to build binutils when "make world"
Tue, 20 Apr 2010 11:06:15 +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.