gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 34 of 36). Latest articles →
Re: Touchscreen
Wed, 14 Nov 2012 08:55:49 -0800how to run the vm-tz example?
Tue, 10 Jan 2006 00:30:27 +0800Re: Trustzone Dual-OS
Wed, 14 Nov 2012 10:48:03 +0800Re: Touchscreen
Tue, 13 Nov 2012 12:17:16 -0800 (PST)Fiasco.OC Kernel Semaphores r38->r40
Mon, 12 Nov 2012 14:03:23 -0800Trustzone Dual-OS
Mon, 12 Nov 2012 16:28:33 +0800Re: Touchscreen
Mon, 12 Nov 2012 04:21:35 +0100Re: bootstrapper error
Sat, 10 Nov 2012 00:39:26 +0100bootstrapper error
Fri, 9 Nov 2012 14:45:16 -0800Re: Touchscreen
Thu, 8 Nov 2012 10:08:02 -0800 (PST)Re: Touchscreen
Thu, 8 Nov 2012 09:33:13 -0800Re: Touchscreen
Thu, 8 Nov 2012 14:37:01 +0100Re: Touchscreen
Thu, 8 Nov 2012 09:14:00 -0800 (PST)Re: Touchscreen
Thu, 8 Nov 2012 07:51:35 -0800Re: Touchscreen
Thu, 8 Nov 2012 06:25:36 -0800 (PST)Re: Touchscreen
Thu, 8 Nov 2012 05:04:18 -0800 (PST)Re: Touchscreen
Wed, 7 Nov 2012 05:19:39 -0800 (PST)Re: Touchscreen
Wed, 7 Nov 2012 06:04:55 +0100Re: Touchscreen
Tue, 6 Nov 2012 17:56:50 -0800 (PST)Re: Touchscreen
Tue, 6 Nov 2012 17:18:51 -0800 (PST)Re: Touchscreen
Tue, 6 Nov 2012 15:33:34 -0800 (PST)Re: bug report: compile about l4re
Tue, 6 Nov 2012 22:22:53 +0100bug report: compile about l4re
Tue, 6 Nov 2012 12:44:56 +0000Re: Touchscreen
Tue, 06 Nov 2012 09:53:16 +0100Touchscreen
Mon, 5 Nov 2012 14:42:35 -0800 (PST)Re: Compiling l4re on ubuntu 12.10
Mon, 5 Nov 2012 20:23:57 +0100Compiling l4re on ubuntu 12.10
Sun, 4 Nov 2012 17:09:22 +1100Re: 1G memory for L4Linux on Panda
Thu, 1 Nov 2012 19:03:40 +0100Re: how to get Task
Thu, 1 Nov 2012 18:44:51 +01001G memory for L4Linux on Panda
Wed, 31 Oct 2012 16:50:52 +0400Re: Page Fault on real hardware
Tue, 30 Oct 2012 16:27:35 -0700 (PDT)get memory size each task uses
Tue, 10 Jan 2006 00:08:00 +0800how to get Task
Tue, 30 Oct 2012 19:55:29 +0800Re: FOSDEM 2013 - Microkernels / Component-based OSes devroom
Tue, 30 Oct 2012 12:09:38 +0100Re: Page Fault on real hardware
Mon, 29 Oct 2012 23:37:14 +0100Re: Page Fault on real hardware
Mon, 29 Oct 2012 10:12:49 -0700Re: Page Fault on real hardware
Mon, 29 Oct 2012 09:54:40 -0700 (PDT)FOSDEM 2013 - Microkernels / Component-based OSes devroom
Mon, 29 Oct 2012 14:11:46 +0100Re: Page Fault on real hardware
Mon, 29 Oct 2012 04:55:06 -0700 (PDT)Re: Page Fault on real hardware
Mon, 29 Oct 2012 03:24:55 -0700 (PDT)Re: Page Fault on real hardware
Fri, 26 Oct 2012 19:44:59 +0200Page Fault on real hardware
Thu, 25 Oct 2012 09:18:30 -0700 (PDT)Re: In l4vcpu_irq_restore function don't use l4vcpu_irq_disable(vcpu)
Wed, 17 Oct 2012 19:15:51 +0400Re: In l4vcpu_irq_restore function don't use l4vcpu_irq_disable(vcpu)
Tue, 16 Oct 2012 23:58:25 +0200In l4vcpu_irq_restore function don't use l4vcpu_irq_disable(vcpu)
Tue, 16 Oct 2012 16:04:51 +0400Re: Build of ipcmon under Ubuntu 12.04
Thu, 11 Oct 2012 19:49:30 +0400Re: Build of ipcmon under Ubuntu 12.04
Thu, 11 Oct 2012 17:44:40 +0200Re: Build of ipcmon under Ubuntu 12.04
Thu, 11 Oct 2012 11:21:06 -0400Re: Build of ipcmon under Ubuntu 12.04
Thu, 11 Oct 2012 11:15:23 +0200Build of ipcmon under Ubuntu 12.04
Thu, 11 Oct 2012 00:35:40 -0400Re: About ARM11 support
Wed, 10 Oct 2012 13:46:03 +0200About ARM11 support
Wed, 10 Oct 2012 19:20:03 +0800Re: Fiasco.oc & trustzone
Mon, 24 Sep 2012 23:17:04 +0200Re: problem booting L4Linux
Mon, 24 Sep 2012 23:13:22 +0200Re: Fiasco.oc & trustzone
Thu, 20 Sep 2012 20:25:32 +0400problem booting L4Linux
Thu, 20 Sep 2012 13:04:35 +0200Re: Fiasco.oc & trustzone
Thu, 20 Sep 2012 00:14:59 +0200Re: Board-specific devices in L4Linux
Thu, 20 Sep 2012 00:06:43 +0200Re: Fiasco.oc & trustzone
Wed, 19 Sep 2012 17:41:01 +0400omap4.dev config file for PandaBoard
Wed, 19 Sep 2012 11:53:56 +0200Board-specific devices in L4Linux
Tue, 18 Sep 2012 15:50:53 +0400Re: Fiasco.oc & trustzone
Sat, 15 Sep 2012 00:34:29 +0200Re: Fiasco.oc & trustzone
Fri, 14 Sep 2012 12:37:41 +0400Re: a question about L4_MAP_ITEM_GRANT
Thu, 13 Sep 2012 23:59:23 +0200Re: Fiasco.oc & trustzone
Thu, 13 Sep 2012 23:55:18 +0200a question about L4_MAP_ITEM_GRANT
Thu, 13 Sep 2012 11:20:25 -0700Re: Fiasco.oc & trustzone
Thu, 13 Sep 2012 13:09:52 +0400Re: Fiasco.oc & trustzone
Wed, 12 Sep 2012 22:47:35 +0200Re: Startup help for L4Linux
Wed, 12 Sep 2012 22:38:34 +0200Re: Mapping physical mem region
Wed, 12 Sep 2012 22:33:25 +0200Mapping physical mem region
Wed, 12 Sep 2012 01:28:48 +0400Re: Fiasco.OC (rev. 40) Pandaboard support
Fri, 07 Sep 2012 15:47:09 +0200Re: Fiasco.OC (rev. 40) Pandaboard support
Fri, 07 Sep 2012 15:32:36 +0200Fiasco.OC (rev. 40) Pandaboard support
Fri, 07 Sep 2012 14:39:21 +0200Startup help for L4Linux
Wed, 29 Aug 2012 22:30:42 +0200Fiasco.oc & trustzone
Wed, 29 Aug 2012 13:51:56 +0400Re: l4linux filesystem under fiasco-ux
Mon, 27 Aug 2012 22:42:51 +0200l4linux filesystem under fiasco-ux
Fri, 24 Aug 2012 16:05:45 -0700Announcement: Genode 12.08 improves NOVA and ARM support
Thu, 23 Aug 2012 11:09:21 +0200Re: Local APIC address and MSI address
Wed, 22 Aug 2012 23:38:30 +0200Re: i.mx53 and fiasco.oc
Wed, 22 Aug 2012 23:36:29 +0200i.mx53 and fiasco.oc
Wed, 22 Aug 2012 13:16:12 +0400Local APIC cannot deliver MSI to CPU (Fiasco.OC) ?
Tue, 21 Aug 2012 17:08:21 -0800Local APIC address and MSI address
Mon, 20 Aug 2012 18:02:36 -0700Re: Issues in l4re-snapshot-2012081219 for ARM
Sat, 18 Aug 2012 00:13:55 +0200Re: dma memory mapping
Sat, 18 Aug 2012 00:11:10 +0200Issues in l4re-snapshot-2012081219 for ARM
Fri, 17 Aug 2012 18:30:22 +0400input signal
Fri, 17 Aug 2012 11:04:15 +0800 (CST)Call for Papers: System Software Verification Conference (SSV 2012)
Fri, 17 Aug 2012 12:08:50 +1000dma memory mapping
Thu, 16 Aug 2012 17:36:07 -0700RE: L4Re/Fiasco IO memory map.
Wed, 15 Aug 2012 08:52:34 -0700Re: L4Re/Fiasco IO memory map.
Wed, 15 Aug 2012 13:30:32 +0200Re: Fiasco-for ppc32
Wed, 15 Aug 2012 10:53:37 +0200Re: NUL_problem
Wed, 15 Aug 2012 09:16:52 +0200L4Re/Fiasco IO memory map.
Tue, 14 Aug 2012 14:12:28 -0700NUL_problem
Tue, 14 Aug 2012 16:41:51 +0400Fiasco-for ppc32
Tue, 14 Aug 2012 16:05:00 +0530Re: NUL_problem
Tue, 14 Aug 2012 13:42:24 +0400Re: NUL_problem
Tue, 14 Aug 2012 09:06:04 +0200NUL_problem
Mon, 13 Aug 2012 17:07:42 +0400
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.