gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 10 of 36). Latest articles →
Re: xorriso : FAILURE : Not a known command
Thu, 1 Jun 2017 00:22:21 +0800Re: xorriso : FAILURE : Not a known command
Wed, 31 May 2017 16:43:47 +0800xorriso : FAILURE : Not a known command
Wed, 31 May 2017 11:42:14 +0800Re: clang-5.0 is not supported. Please use one of the following versions
Wed, 31 May 2017 10:27:03 +0800Re: Microkernel + Alumni Meetup
Tue, 30 May 2017 23:41:45 +0200Re: clang-5.0 is not supported. Please use one of the following versions
Mon, 29 May 2017 00:30:21 +0200clang-5.0 is not supported. Please use one of the following versions
Sat, 27 May 2017 14:07:19 +0800Re: Microkernel + Alumni Meetup
Wed, 17 May 2017 21:23:52 +0200Re: Share exist memory over IPC with L4Re
Tue, 16 May 2017 00:57:37 +0200Share exist memory over IPC with L4Re
Mon, 15 May 2017 15:17:57 +0200Re: Fiasco.OC: null-pointer dereference?
Tue, 9 May 2017 08:56:48 +0200Re: Fiasco.OC: null-pointer dereference?
Mon, 8 May 2017 21:31:32 +0200Re: Fiasco.OC: null-pointer dereference?
Mon, 8 May 2017 15:36:58 +0200Fiasco.OC: null-pointer dereference?
Mon, 8 May 2017 09:09:04 +0200Re: Microkernel + Alumni Meetup
Thu, 4 May 2017 14:28:14 +0200Microkernel + Alumni Meetup
Thu, 4 May 2017 14:09:51 +0200Re: Trying to build L4 on NixOS
Sun, 9 Apr 2017 23:56:16 +0200Re: Trying to build L4 on NixOS
Mon, 3 Apr 2017 19:19:18 +0200Re: Questions about Fiasco.OC scheduler and L4Linux
Sun, 2 Apr 2017 23:50:55 +0200Re: L4linux __raw_writesl/readl undefined
Sat, 1 Apr 2017 17:00:56 +0300Re: Questions about Fiasco.OC scheduler and L4Linux
Fri, 31 Mar 2017 08:07:00 +0000Re: Trying to build L4 on NixOS
Fri, 31 Mar 2017 00:30:38 +0200Re: L4linux __raw_writesl/readl undefined
Fri, 31 Mar 2017 00:17:16 +0200Re: Trying to build L4 on NixOS
Wed, 29 Mar 2017 23:14:11 +0200Re: Questions about Fiasco.OC scheduler and L4Linux
Thu, 30 Mar 2017 23:53:43 +0200Re: Questions about Fiasco.OC scheduler and L4Linux
Thu, 30 Mar 2017 14:42:36 +0000L4linux __raw_writesl/readl undefined
Thu, 30 Mar 2017 15:08:00 +0300Re: Questions about Fiasco.OC scheduler and L4Linux
Tue, 28 Mar 2017 09:37:23 +0000Re: Questions about Fiasco.OC scheduler and L4Linux
Mon, 27 Mar 2017 15:53:10 +0200Re: Questions about Fiasco.OC scheduler and L4Linux
Mon, 27 Mar 2017 15:24:59 +0200Re: Questions about Fiasco.OC scheduler and L4Linux
Mon, 27 Mar 2017 13:12:28 +0000Re: Trying to build L4 on NixOS
Sun, 26 Mar 2017 23:51:16 +0200Re: Questions about Fiasco.OC scheduler and L4Linux
Sun, 26 Mar 2017 23:46:21 +0200Re: Trying to build L4 on NixOS
Sat, 25 Mar 2017 00:29:49 +0100Re: Trying to build L4 on NixOS
Sat, 25 Mar 2017 00:12:31 +0100Trying to build L4 on NixOS
Fri, 24 Mar 2017 22:06:22 +0100Re: Questions about Fiasco.OC scheduler and L4Linux
Fri, 24 Mar 2017 22:48:03 +0100Re: Questions about Fiasco.OC scheduler and L4Linux
Wed, 22 Mar 2017 23:45:07 +0100Re: Questions about Fiasco.OC scheduler and L4Linux
Wed, 22 Mar 2017 15:50:34 +0000Re: Questions about Fiasco.OC scheduler and L4Linux
Wed, 22 Mar 2017 00:55:53 +0100Questions about Fiasco.OC scheduler and L4Linux
Tue, 21 Mar 2017 08:31:06 +0100Re: Define Addr. Space of Task
Tue, 21 Mar 2017 00:14:58 +0100Re: Extending l4sys by reading/writing register values of a preempted thread
Tue, 21 Mar 2017 00:10:17 +0100Define Addr. Space of Task
Mon, 20 Mar 2017 14:33:17 +0100Re: Extending l4sys by reading/writing register values of a preempted thread
Thu, 16 Mar 2017 13:33:18 +0100Re: Extending l4sys by reading/writing register values of a preempted thread
Tue, 14 Mar 2017 13:11:24 +0100Extending l4sys by reading/writing register values of a preempted thread
Mon, 13 Mar 2017 12:36:32 +0100Re: Run L4Re/Fiasco hello example under QEMU (ARM)
Sun, 5 Mar 2017 23:47:55 +0100Run L4Re/Fiasco hello example under QEMU (ARM)
Fri, 3 Mar 2017 13:08:33 +0100Re: read/write to virtual address
Fri, 17 Feb 2017 11:39:28 +0100Re: read/write to virtual address
Fri, 17 Feb 2017 10:47:53 +0100Re: read/write to virtual address
Thu, 16 Feb 2017 23:54:24 +0100Re: read/write to virtual address
Thu, 16 Feb 2017 13:14:07 +0100Re: read/write to virtual address
Thu, 16 Feb 2017 00:18:39 +0100Re: read/write to virtual address
Wed, 15 Feb 2017 09:55:19 +0100Re: read/write to virtual address
Tue, 14 Feb 2017 23:29:30 +0100read/write to virtual address
Tue, 14 Feb 2017 10:38:26 +0100Re: About l4linux debug method
Tue, 17 Jan 2017 23:10:31 +0100Re: About l4linux debug method
Mon, 16 Jan 2017 17:40:11 +0800 (CST)Re: About l4linux debug method
Sun, 15 Jan 2017 12:14:36 +0100Re: About l4linux debug method
Sun, 8 Jan 2017 22:54:31 +0800 (CST)RE: Memory usage analysis and optimization
Tue, 20 Dec 2016 08:09:15 +0000Re: Memory usage analysis and optimization
Sun, 18 Dec 2016 23:45:49 +0100Memory usage analysis and optimization
Fri, 16 Dec 2016 08:38:28 +0000Re: About l4linux debug method
Thu, 15 Dec 2016 00:45:49 +0100Re: About l4linux debug method
Wed, 14 Dec 2016 21:53:48 +0800 (CST)Re: About IO server settings for DMA in L4Linux
Tue, 13 Dec 2016 00:23:48 +0100Re: About l4linux debug method
Tue, 13 Dec 2016 00:01:44 +0100RE: About IO server settings for DMA in L4Linux
Mon, 12 Dec 2016 11:39:52 +0000About l4linux debug method
Sun, 11 Dec 2016 20:45:11 +0800 (CST)Re: About IO server settings for DMA in L4Linux
Fri, 9 Dec 2016 23:47:45 +0100About IO server settings for DMA in L4Linux
Fri, 9 Dec 2016 09:21:37 +0000RE: Can't find device node in /dev/ directory!
Tue, 1 Nov 2016 22:42:40 +0800 (CST)RE: Can't find device node in /dev/ directory!
Fri, 28 Oct 2016 17:28:30 +0100Re: Can't find device node in /dev/ directory!
Fri, 28 Oct 2016 23:08:32 +0800 (CST)Re: Can't find device node in /dev/ directory!
Thu, 27 Oct 2016 16:33:01 +0200Can't find device node in /dev/ directory!
Thu, 27 Oct 2016 22:29:13 +0800 (CST)Fwd: Microkernels / Component-based OSes devroom - Call for Participation
Tue, 18 Oct 2016 08:19:07 +0200Re: fiasco.oc i.MX7d port
Fri, 14 Oct 2016 22:29:02 +0200Re: fiasco.oc i.MX7d port
Fri, 14 Oct 2016 11:03:16 +0200Re: fiasco.oc i.MX7d port
Thu, 13 Oct 2016 23:26:07 +0200fiasco.oc i.MX7d port
Wed, 12 Oct 2016 11:17:36 +0200Re: fiasco.oc i.MX7d port
Wed, 12 Oct 2016 00:17:29 +0200fiasco.oc i.MX7d port
Mon, 10 Oct 2016 10:46:46 +0200Re: L4Linux stop at "Calibrating delay loop ..."
Sun, 9 Oct 2016 22:20:39 +0800 (CST)Re: fiasco.oc i.MX7d port
Sat, 8 Oct 2016 00:11:59 +0200fiasco.oc i.MX7d port
Wed, 5 Oct 2016 19:50:45 +0200Re: L4Linux stop at "Calibrating delay loop ..."
Mon, 3 Oct 2016 23:48:21 +0200Re: L4Linux stop at "Calibrating delay loop ..."
Fri, 30 Sep 2016 22:06:47 +0800 (CST)Re: L4Linux stop at "Calibrating delay loop ..."
Thu, 22 Sep 2016 23:31:52 +0200Re: L4Linux stop at "Calibrating delay loop ..."
Thu, 22 Sep 2016 11:33:16 -0400Re: L4Linux stop at "Calibrating delay loop ..."
Thu, 22 Sep 2016 22:32:28 +0800 (CST)Re: L4Linux stop at "Calibrating delay loop ..."
Tue, 20 Sep 2016 00:29:19 +0200L4Linux stop at "Calibrating delay loop ..."
Mon, 19 Sep 2016 22:55:52 +0800 (CST)Re: Is L4Linux can use its existed Linux driver to access hardware device?
Wed, 14 Sep 2016 08:06:29 +0200Re: Partitioned Scheduling
Fri, 9 Sep 2016 14:18:55 +0200Re: Is L4Linux can use its existed Linux driver to access hardware device?
Fri, 9 Sep 2016 17:49:12 +0800Re: Is L4Linux can use its existed Linux driver to access hardware device?
Fri, 9 Sep 2016 08:27:05 +0200Re: Partitioned Scheduling
Thu, 8 Sep 2016 23:30:16 +0200Re: Is L4Linux can use its existed Linux driver to access hardware device?
Wed, 7 Sep 2016 15:00:42 +0800
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.