gmane.comp.micro-kernel.l4.l4ka.general archive
390 archived articles, newest first (page 3 of 4). Latest articles →
[afterburner]Failed to build binutils when "make world"
Sun, 18 Apr 2010 14:19:56 -0800RE: Race condition in interrupt handling
Fri, 16 Apr 2010 09:15:59 +0200Re: Race condition in interrupt handling
Thu, 15 Apr 2010 10:44:04 -0500RE: Race condition in interrupt handling
Thu, 15 Apr 2010 09:37:40 +0200Re: Race condition in interrupt handling
Wed, 14 Apr 2010 11:41:53 -0500Re: Race condition in interrupt handling
Wed, 14 Apr 2010 11:15:08 +0200Re: Race condition in interrupt handling
Wed, 14 Apr 2010 11:11:32 +0200Re: Race condition in interrupt handling
Tue, 13 Apr 2010 09:18:45 -0500Page table corruption after requesting non-conventional memory from sigma0 on x86-64 SMP
Tue, 13 Apr 2010 09:09:51 -0500Re: Race condition in interrupt handling
Tue, 13 Apr 2010 08:59:24 -0500RE: Race condition in interrupt handling
Tue, 13 Apr 2010 16:05:39 +0200Re: Race condition in interrupt handling
Tue, 13 Apr 2010 09:03:30 -0500RE: Race condition in interrupt handling
Tue, 13 Apr 2010 15:51:16 +0200Re: Race condition in interrupt handling
Tue, 13 Apr 2010 08:34:17 -0500RE: Race condition in interrupt handling
Tue, 13 Apr 2010 15:02:21 +0200Re: Race condition in interrupt handling
Tue, 13 Apr 2010 07:24:22 -0500RE: Race condition in interrupt handling
Tue, 13 Apr 2010 09:20:42 +0200RE: A patch to eliminate warnings on casts
Tue, 13 Apr 2010 09:20:45 +0200RE: Is L4Ka::Pistachio really GPL-free?
Tue, 13 Apr 2010 09:20:43 +0200RE: Kickstart issue
Tue, 13 Apr 2010 09:20:44 +0200Is L4Ka::Pistachio really GPL-free?
Sun, 11 Apr 2010 18:36:43 +0200A patch to eliminate warnings on casts
Thu, 8 Apr 2010 21:08:45 -0500Re: Race condition in interrupt handling
Tue, 6 Apr 2010 14:43:32 -0500Race condition in interrupt handling
Mon, 05 Apr 2010 00:15:13 -0500Re: Kickstart issue
Tue, 30 Mar 2010 17:55:47 -0400Re: Kickstart issue
Tue, 30 Mar 2010 17:45:50 -0400RE: Kickstart issue
Mon, 29 Mar 2010 12:45:13 +0200Mohamad Rezaei has invited you to Dropbox
Sat, 20 Mar 2010 08:21:18 +0000Comments: Build and Boot
Tue, 26 Jan 2010 23:59:03 -0500RE: l4test hang from CONFIG_X_PAGER_EXREGS
Fri, 15 Jan 2010 10:35:52 +0100RE: spinlock implementation
Fri, 15 Jan 2010 09:41:31 +0100l4test hang from CONFIG_X_PAGER_EXREGS
Thu, 14 Jan 2010 21:17:32 -0600spinlock implementation
Thu, 14 Jan 2010 21:11:07 -0600RE: Status of VMI support in L4
Tue, 12 Jan 2010 09:40:09 +0100RE: Memory corruption under X86-64 environment
Thu, 7 Jan 2010 11:18:09 +0100Status of VMI support in L4
Wed, 06 Jan 2010 16:20:19 -0600RE: Memory corruption under X86-64 environment
Mon, 4 Jan 2010 14:52:55 +0100RE: Patch for apps/bench/pingpong
Thu, 31 Dec 2009 09:00:28 +0100Re: Memory corruption under X86-64 environment
Mon, 28 Dec 2009 01:57:42 -0600Memory corruption under X86-64 environment
Mon, 28 Dec 2009 00:32:06 -0600[Patch] missing the volatile keyword in putc
Wed, 23 Dec 2009 14:59:59 -0600RE: Patch for apps/bench/pingpong
Tue, 22 Dec 2009 15:12:05 +0100Patch for apps/bench/pingpong
Mon, 21 Dec 2009 16:58:58 -0600RE: UTCB-Area, Local ThreadIds
Wed, 16 Dec 2009 18:36:10 +0100RE: Building a working instance of L4Ka::Pistachio
Wed, 16 Dec 2009 18:36:09 +0100UTCB-Area, Local ThreadIds
Sat, 12 Dec 2009 20:58:51 +0100Re: L4 microkernel as a user-level program
Sat, 12 Dec 2009 06:51:39 -0800Re: L4 microkernel as a user-level program
Sat, 12 Dec 2009 01:00:42 -0600Re: L4 microkernel as a user-level program
Sat, 12 Dec 2009 07:36:53 +0100L4 microkernel as a user-level program
Sat, 12 Dec 2009 00:16:42 -0600Codezero Microkernel v0.2 Released
Mon, 07 Dec 2009 14:54:38 +0200Building a working instance of L4Ka::Pistachio
Thu, 3 Dec 2009 18:44:43 +0000Re: codezero community
Wed, 25 Nov 2009 02:18:48 +0200codezero community
Tue, 24 Nov 2009 14:28:57 -0600RE: Device Driver Reuse
Mon, 26 Oct 2009 17:10:19 +0100Re: Device Driver Reuse
Sun, 25 Oct 2009 19:06:12 +0900RE: Device Driver Reuse
Fri, 23 Oct 2009 13:26:41 +0200RE: Conflict with multiboot module 0
Fri, 23 Oct 2009 11:46:33 +0200Device Driver Reuse
Fri, 23 Oct 2009 14:18:05 +0900Conflict with multiboot module 0
Tue, 20 Oct 2009 18:13:09 +0200Re: booting question
Sun, 6 Sep 2009 18:13:27 -0700 (PDT)RE: Sample applications freeze during execution
Thu, 20 Aug 2009 13:21:50 +0200Re:Sample applications freeze during execution
Wed, 19 Aug 2009 07:06:40 +0800Sample applications freeze during execution
Tue, 18 Aug 2009 21:14:59 +1000booting question
Sun, 9 Aug 2009 22:07:58 +0000 (GMT)booting question
Sun, 9 Aug 2009 22:04:37 +0000 (GMT)RE: Error by building the user-level code
Wed, 24 Jun 2009 11:59:01 +0200[ANNOUNCE] Introducing Codezero
Thu, 11 Jun 2009 14:29:39 +0300Error by building the user-level code
Wed, 10 Jun 2009 08:19:29 +0000 (GMT)RE: Build error for Amd64
Tue, 9 Jun 2009 12:59:06 +0200Build error for Amd64
Sat, 30 May 2009 11:30:24 +0800RE: issue in afterburner--same as " Afterburner running problem" thread
Fri, 24 Apr 2009 10:29:24 +0200issue in afterburner--same as " Afterburner running problem" thread
Wed, 22 Apr 2009 18:15:28 +0000 (UTC)Check out my photos on Facebook
Thu, 16 Apr 2009 19:26:21 -0700Re: [PATCH] fix improper return of local sender TID in propagated IPC
Thu, 9 Apr 2009 18:36:36 +0300RE: [PATCH] fix improper return of local sender TID in propagated IPC
Wed, 8 Apr 2009 14:24:24 +0200[PATCH] fix improper return of local sender TID in propagated IPC
Sun, 29 Mar 2009 00:36:50 +0200How about a 0.5 release?
Wed, 25 Mar 2009 17:19:05 +0200RE: A problem when building pistachio
Thu, 12 Mar 2009 10:05:28 +0100RE: A problem when building pistachio
Thu, 12 Mar 2009 09:25:42 +0100RE: A problem when building pistachio
Wed, 11 Mar 2009 16:30:12 +0100A problem when building pistachio
Wed, 11 Mar 2009 22:20:55 +0800Re: Fastpath on x32: Every single cycle
Sun, 8 Mar 2009 11:11:59 +0100Re: StringItem length
Sun, 8 Mar 2009 11:11:17 +0100Announcement: Genode OS Framework version 9.02 released
Fri, 27 Feb 2009 11:08:40 +0100Fastpath on x32: Every single cycle
Mon, 23 Feb 2009 21:23:25 +0100StringItem length
Mon, 23 Feb 2009 16:12:53 +0100RE: Double allocation of UTCB__MAPPING in Pistachio
Mon, 23 Feb 2009 11:09:26 +0100Double allocation of UTCB__MAPPING in Pistachio
Sun, 22 Feb 2009 18:04:28 +0100Re: Compiling L4Ka::Pistachio with SMP support
Wed, 14 Jan 2009 19:06:23 +0000RE: Compiling L4Ka::Pistachio with SMP support
Wed, 14 Jan 2009 19:54:46 +0100Compiling L4Ka::Pistachio with SMP support
Wed, 14 Jan 2009 18:02:23 +0000RE: Afterburner running problem
Tue, 23 Dec 2008 02:03:15 +0100Announcement: Genode OS Framework on Pistachio
Thu, 18 Dec 2008 15:04:28 +0100CAmkES: component-based development for L4
Tue, 9 Dec 2008 17:36:59 +1100Afterburner running problem
Thu, 4 Dec 2008 07:26:52 -0800 (PST)RE: Problem with the configuring user-level code of L4Ka::Pistachio
Sun, 30 Nov 2008 15:13:34 +0100gt timer interrupt problem..
Tue, 11 Nov 2008 00:12:47 -0800Re: pistachio with busybox/shell
Thu, 06 Nov 2008 11:20:51 +0100pistachio with busybox/shell & build system
Thu, 06 Nov 2008 10:31:09 +0100
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.