gmane.comp.micro-kernel.l4.l4ka.general archive
387 archived articles, newest first (page 1 of 4). Latest articles →
Re: [FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom
Sun, 04 Dec 2022 11:42:37 +0200Re: [FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom
Fri, 2 Dec 2022 23:55:17 -0800[FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom
Fri, 02 Dec 2022 09:54:06 +0200Re: IoL4 dead?
Thu, 22 Feb 2018 14:38:46 +0100Re: Pistachio IPC performance on Bare Metal
Wed, 10 Dec 2014 00:25:02 +0000 (GMT)Re: Pistachio IPC performance on Bare Metal
Tue, 23 Sep 2014 15:07:13 +0200Re: Pistachio IPC performance on Bare Metal
Tue, 23 Sep 2014 13:06:56 +0200Pistachio IPC performance on Bare Metal
Fri, 19 Sep 2014 19:03:07 -0400Boot Pistachio from usb
Wed, 13 Aug 2014 11:48:13 -0400seL4 is free!
Tue, 29 Jul 2014 15:39:41 +1000seL4 to go open-source on 29 July
Thu, 5 Jun 2014 13:53:39 +1000L4Ka does not boot if built by gcc 4.8
Sun, 22 Dec 2013 17:00:14 +0100[Patch] Re: L4 reboots before trying to execute roottask
Mon, 24 Jun 2013 15:47:08 +0200Re: L4Ka. Regression with 4.7 and 4.8 ?
Sun, 23 Jun 2013 12:56:24 +0200Re: L4Ka. Regression with 4.7 and 4.8 ?
Sun, 23 Jun 2013 11:56:43 +0200Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 21:38:36 +0200Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 19:54:19 +0200Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 14:38:10 +0200Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 14:32:00 +0200Re: L4 reboots before trying to execute roottask
Sun, 16 Jun 2013 16:26:49 +0200L4 reboots before trying to execute roottask
Sun, 16 Jun 2013 15:40:52 +0200[Pistachio]Linking error
Sun, 14 Apr 2013 22:39:38 +0700Re: Sigma0 and L4 Core
Sat, 16 Mar 2013 01:13:47 +0100Sigma0 and L4 Core
Thu, 14 Mar 2013 19:16:58 -0500Check out my profile on LinkedIn
Mon, 11 Feb 2013 09:30:13 +0000 (UTC)Re:
Sat, 9 Feb 2013 02:32:51 -0800 (PST)Re:hello!
Tue, 29 Jan 2013 17:56:40 -0800 (PST)RE: L4 Pistachio Build Environment
Mon, 11 Jun 2012 07:48:07 +0000L4 Pistachio Build Environment
Mon, 28 May 2012 11:36:03 -0400RE: Is it possible to install L4 on Xen as a guest?
Thu, 10 May 2012 17:15:28 +0900RE: Is it possible to install L4 on Xen as a guest?
Thu, 10 May 2012 07:43:29 +0000Is it possible to install L4 on Xen as a guest?
Thu, 10 May 2012 11:17:23 +0900Re: Iterative calculations doesn't work - What could be the problem?
Tue, 24 Apr 2012 15:39:13 +0200Re: Iterative calculations doesn't work - What could be the problem?
Tue, 24 Apr 2012 08:54:25 -0400Iterative calculations doesn't work - What could be the problem?
Tue, 24 Apr 2012 11:50:38 +0000 (UTC)RE: Can't set total quantum with L4_Set_Timeslice()
Tue, 24 Apr 2012 07:52:22 +0000Can't set total quantum with L4_Set_Timeslice()
Mon, 23 Apr 2012 17:09:28 +0200RE: C Library with L4 - Diet Libc library?
Mon, 23 Apr 2012 08:36:42 +0000C Library with L4 - Diet Libc library?
Wed, 18 Apr 2012 13:11:42 +0000 (UTC)Re: Hello World - No Output
Thu, 16 Feb 2012 16:34:22 +0200Hello World - No Output
Thu, 16 Feb 2012 12:05:15 +0000 (UTC)RE: L4La-Pistachio: using idl4 for amd64
Fri, 10 Feb 2012 07:54:27 +0000Fwd: cannot boot the compiled pistachio iso
Fri, 10 Feb 2012 13:19:13 +0530L4La-Pistachio: using idl4 for amd64
Thu, 9 Feb 2012 23:00:34 +020016MB memory limit?
Wed, 8 Feb 2012 18:17:45 +0000 (UTC)Re: How to create a working build environment
Wed, 1 Feb 2012 14:46:21 +0000 (UTC)RE: How to create a working build environment
Mon, 30 Jan 2012 20:05:09 +0000Re: Oops! No BIOS memory Map
Mon, 30 Jan 2012 20:57:46 +0100Oops! No BIOS memory Map
Mon, 30 Jan 2012 18:24:47 +0000 (UTC)How to create a working build environment
Fri, 27 Jan 2012 12:25:55 +0100Re: cannot boot the compiled pistachio iso
Tue, 24 Jan 2012 11:23:53 +0100cannot boot the compiled pistachio iso
Sun, 22 Jan 2012 22:46:59 +0530Re: Porblem with building and running pistachio on x-86
Tue, 17 Jan 2012 20:11:38 +0100Porblem with building and running pistachio on x-86
Tue, 17 Jan 2012 13:06:02 +0530Re: L4Ka::Pistachio Development
Sun, 8 Jan 2012 08:50:21 -0500Re: L4Ka::Pistachio Development
Mon, 19 Dec 2011 15:48:59 +0100L4Ka::Pistachio Development
Thu, 15 Dec 2011 16:31:14 -0500Re: L4 Pistachio: getting started guides / tutorials
Wed, 30 Nov 2011 15:24:19 +0100Re: L4 Pistachio: getting started guides / tutorials
Wed, 30 Nov 2011 15:35:40 +0100Re: L4 Pistachio: getting started guides / tutorials
Tue, 29 Nov 2011 12:13:23 -0800Re: L4 Pistachio: getting started guides / tutorials
Tue, 29 Nov 2011 22:11:19 +0200L4 Pistachio: getting started guides / tutorials
Sun, 20 Nov 2011 22:04:27 +0200building pistachio when the build host has grub2 (aka grub-pc) instead of grub
Sun, 23 Oct 2011 20:59:10 +0200Mercurial repository
Thu, 20 Oct 2011 09:03:29 +0200Nice opportunity
Sat, 15 Oct 2011 14:29:05 +0800Re: Pistachio build concerns
Mon, 22 Aug 2011 16:36:11 -0700Problem with pistachio
Mon, 22 Aug 2011 16:15:03 -0700Pistachio build concerns
Mon, 22 Aug 2011 15:05:23 -0700question about L4_Set_Timeslicefrom Sabrina
Thu, 18 Aug 2011 23:23:42 +0300Re: l4ka Digest, Vol 88, Issue 3
Fri, 29 Jul 2011 07:19:47 -0700Re: l4ka Digest, Vol 88, Issue 3
Fri, 29 Jul 2011 14:10:36 +0300Re: l4ka Digest, Vol 88, Issue 3
Fri, 29 Jul 2011 14:00:02 +0300Problem creating new task
Thu, 28 Jul 2011 12:29:20 -0700RE: kmem_alloc: out of kernel memory
Tue, 19 Jul 2011 08:55:56 +0000Re: kmem_alloc: out of kernel memory
Mon, 18 Jul 2011 15:57:26 +0200question about L4_Set_Timeslice
Wed, 6 Jul 2011 15:19:22 -0700RE: kmem_alloc: out of kernel memory
Wed, 29 Jun 2011 07:52:30 +0000RE: unknown syscall error
Wed, 29 Jun 2011 07:49:23 +0000unknown syscall error
Wed, 22 Jun 2011 17:25:48 -0700Re: Pistachio for ARM?
Wed, 22 Jun 2011 13:50:37 +0200RE: Pistachio for ARM?
Wed, 22 Jun 2011 11:19:11 +0000Pistachio for ARM?
Tue, 21 Jun 2011 15:56:34 +0100Re: Problems with pistachio
Fri, 17 Jun 2011 17:23:15 -0700Re: Problems with pistachio
Sat, 11 Jun 2011 15:35:55 -0700Re: Problems with pistachio
Sat, 11 Jun 2011 15:07:50 -0700RE: Problems with pistachio
Mon, 6 Jun 2011 13:07:56 +0000Problems with pistachio
Fri, 3 Jun 2011 14:33:47 -0700RE: Problems with pistachio
Fri, 3 Jun 2011 16:24:35 +0000Problems with pistachio
Fri, 3 Jun 2011 09:01:09 -0700Problems with pistachio
Wed, 1 Jun 2011 05:53:32 -0700kmem_alloc: out of kernel memory
Mon, 30 May 2011 20:27:55 +0100 (BST)Re: afterburner build errror
Wed, 4 May 2011 15:19:51 +0000 (UTC)RE: afterburner build errror "disable macro expansion for binutils"
Thu, 28 Apr 2011 10:21:59 +0000afterburner build errror "disable macro expansion for binutils"
Wed, 20 Apr 2011 10:07:19 +0000 (UTC)RE: afterburner missing linux-ramdisk.img.gz
Wed, 13 Apr 2011 12:28:53 +0000afterburner missing linux-ramdisk.img.gz
Wed, 13 Apr 2011 10:46:46 +0000 (UTC)Creating a thread from roottask
Sat, 12 Mar 2011 13:57:30 -0800RE: Psim and kickstart
Tue, 1 Mar 2011 13:29:18 +0000Re: POWER64 architecture support
Tue, 01 Mar 2011 00:16:43 +0100RE: POWER64 architecture support
Mon, 28 Feb 2011 09:20:50 +0000
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.