gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 25 of 36). Latest articles →
Re: Adding hardware access to L4Linux, and killing serial console
Fri, 06 Jun 2014 16:33:01 +1000Adding hardware access to L4Linux, and killing serial console
Fri, 06 Jun 2014 10:16:46 +1000Re: how to transfer capabilities from server to client
Thu, 5 Jun 2014 18:21:27 -0400Re: how to transfer capabilities from server to client
Thu, 05 Jun 2014 23:51:28 +0200how to transfer capabilities from server to client
Thu, 5 Jun 2014 17:45:28 -0400Re: L4-based microkernel on Intel SCC
Thu, 5 Jun 2014 13:06:48 +0000 (UTC)Re: L4-based microkernel on Intel SCC
Thu, 05 Jun 2014 14:29:02 +0200Re: L4-based microkernel on Intel SCC
Thu, 5 Jun 2014 11:10:27 +0000 (UTC)Dresden Microkernel Hackers Meet-up
Thu, 05 Jun 2014 12:11:45 +0200Re: L4-based microkernel on Intel SCC
Thu, 05 Jun 2014 11:47:32 +0200Re: seL4 will go open source on 29 July
Thu, 5 Jun 2014 14:27:26 +1000Re: seL4 will go open source on 29 July
Thu, 5 Jun 2014 08:23:45 +0400seL4 will go open source on 29 July
Thu, 5 Jun 2014 13:48:43 +1000Re: Question about cross core IPC
Wed, 4 Jun 2014 11:48:44 -0400Re: l4re compilation
Wed, 4 Jun 2014 08:11:35 +0000 (UTC)L4-based microkernel on Intel SCC
Wed, 4 Jun 2014 08:07:49 +0000Re: l4re compilation
Tue, 3 Jun 2014 23:59:58 +0200Re: Question about cross core IPC
Tue, 3 Jun 2014 23:57:58 +0200Re: Documentation of Sched_context
Tue, 3 Jun 2014 23:44:20 +0200l4re compilation
Tue, 3 Jun 2014 10:02:42 +0000 (UTC)Re: I share a document to access HW on L4 Linux.
Tue, 03 Jun 2014 08:37:21 +1000Re: Some confusing code of the kernel
Sun, 1 Jun 2014 05:16:29 -0800Question about cross core IPC
Sun, 1 Jun 2014 05:15:06 -0800Re: page fault on virtual bus
Fri, 30 May 2014 17:25:57 +0200Documentation of Sched_context
Fri, 30 May 2014 13:15:09 +0200Re: Some confusing code of the kernel
Thu, 29 May 2014 19:17:50 +0200Re: Some confusing code of the kernel
Thu, 29 May 2014 08:22:41 -0800Re: page fault on virtual bus
Wed, 28 May 2014 22:04:07 +0200Re: Some confusing code of the kernel
Wed, 28 May 2014 11:12:10 +0200Re: kinvoke fonction
Wed, 28 May 2014 09:58:47 +0200Re: Some confusing code of the kernel
Wed, 28 May 2014 09:44:17 +0200Re: Some confusing code of the kernel
Wed, 28 May 2014 09:59:24 +0800Re: Some confusing code of the kernel
Wed, 28 May 2014 00:55:38 +0200Re: page fault on virtual bus
Wed, 28 May 2014 00:46:59 +0200Re: [Question] How do I do to secure LCD on L4 Linux ?
Wed, 28 May 2014 00:38:20 +0200Some confusing code of the kernel
Tue, 27 May 2014 13:51:31 -0800Re: Doing simple I/O in clntsrv example
Mon, 26 May 2014 22:41:29 +0200Re: Where is kernel entry code
Mon, 26 May 2014 22:04:49 +0200page fault on virtual bus
Mon, 26 May 2014 20:55:19 +0200Re: Where is kernel entry code
Mon, 26 May 2014 11:45:50 -0800Re: Where is kernel entry code
Mon, 26 May 2014 21:40:10 +0200Where is kernel entry code
Mon, 26 May 2014 09:57:32 -0800Re: Missing library question
Mon, 26 May 2014 13:16:49 +0200Missing library question
Mon, 26 May 2014 07:27:15 +0200Re: About DMA mem and IO Server
Fri, 23 May 2014 16:59:49 +0200Re: Doing simple I/O in clntsrv example
Thu, 22 May 2014 15:41:54 +0200Re: Doing simple I/O in clntsrv example
Thu, 22 May 2014 15:32:10 +0200[Question] How do I do to secure LCD on L4 Linux ?
Thu, 22 May 2014 16:02:39 +0900Re: interfaces of scheduler Fiasco
Wed, 21 May 2014 17:53:42 +0200Re: Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Wed, 21 May 2014 09:28:23 +1000Re: Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Wed, 21 May 2014 09:03:23 +1000Re: Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Wed, 21 May 2014 00:50:01 +0200Doing simple I/O in clntsrv example
Tue, 20 May 2014 11:11:16 +0200Can you check this patch file(imx6q-fec.patch) ?
Tue, 20 May 2014 12:14:06 +0900I share a document to access HW on L4 Linux.
Tue, 20 May 2014 13:59:02 +0900Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
Tue, 20 May 2014 10:47:03 +1000Re: Doing simple I/O in clntsrv example
Mon, 19 May 2014 20:00:38 +0200Doing simple I/O in clntsrv example
Mon, 19 May 2014 18:16:03 +0200Re: Doing simple I/O in clntsrv example
Mon, 19 May 2014 13:06:49 +0200Doing simple I/O in clntsrv example
Mon, 19 May 2014 10:18:30 +0200Re: Fwd: Re: cannot find -lld-l4
Sun, 18 May 2014 17:47:08 +0200Fwd: Re: cannot find -lld-l4
Sun, 18 May 2014 11:30:36 +0200Re: Doing simple I/O in clntsrv example
Sat, 17 May 2014 19:17:12 +0200Re: Doing simple I/O in clntsrv example
Sat, 17 May 2014 17:47:53 +0200Doing simple I/O in clntsrv example
Sat, 17 May 2014 13:00:08 +0200interfaces of scheduler Fiasco
Thu, 15 May 2014 17:26:05 +0200Re: OKL4 vs L4::Pistachio
Thu, 15 May 2014 10:10:00 +1000Re: how to get current cpu id
Thu, 15 May 2014 08:03:26 +0200Re: how to get current cpu id
Wed, 14 May 2014 19:27:16 -0400Re: how to get current cpu id
Thu, 15 May 2014 01:14:03 +0200Re: cannot find -lld-l4
Thu, 15 May 2014 01:04:47 +0200Re: Question about dataspace
Thu, 15 May 2014 01:02:53 +0200Re: cannot find -lld-l4
Wed, 14 May 2014 11:23:27 +0200cannot find -lld-l4
Tue, 13 May 2014 11:59:24 +0200Re: Question about dataspace
Tue, 13 May 2014 17:45:46 -0800how to get current cpu id
Tue, 13 May 2014 17:05:34 -0800Re: Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
Wed, 14 May 2014 10:20:30 +1000Re: Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
Wed, 14 May 2014 02:00:38 +0200Re: Question about dataspace
Wed, 14 May 2014 01:55:27 +0200Re: Question about dataspace
Tue, 13 May 2014 20:56:54 +0800Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
Tue, 13 May 2014 16:48:58 +1000Re: About DMA mem and IO Server
Mon, 12 May 2014 19:37:45 -0400Re: About DMA mem and IO Server
Mon, 12 May 2014 11:51:21 +0200About DMA mem and IO Server
Mon, 12 May 2014 16:34:53 +0900Re: Question about dataspace
Sat, 10 May 2014 10:15:42 +0200Re: Facing l4x-evict_task problem in L4Linux
Sat, 10 May 2014 10:06:34 +0200Question about dataspace
Sat, 10 May 2014 11:23:47 +0800Re: How to talk to a specific thread in a server
Fri, 9 May 2014 10:09:06 -0400Facing l4x-evict_task problem in L4Linux
Fri, 9 May 2014 18:08:49 +0900Re: How to talk to a specific thread in a server
Thu, 08 May 2014 21:03:05 +0200Re: How to talk to a specific thread in a server
Thu, 08 May 2014 18:22:40 +0200Re: How to talk to a specific thread in a server
Thu, 8 May 2014 12:17:54 -0400Re: How to talk to a specific thread in a server
Thu, 08 May 2014 08:07:19 +0200How to talk to a specific thread in a server
Wed, 7 May 2014 21:29:24 -0400Re: Compile library in L4Linux ramdisk
Thu, 8 May 2014 01:08:59 +0200Re: What is 'new-res Mmio_ram(0x80000, 0 )' in '.io' file ?
Wed, 07 May 2014 17:01:49 +0200What is 'new-res Mmio_ram(0x80000, 0 )' in '.io' file ?
Wed, 07 May 2014 19:22:08 +0900Compile library in L4Linux ramdisk
Wed, 7 May 2014 16:05:16 +0900Re: How to enable 'CONFIG_COMMON_CLK' ?
Wed, 30 Apr 2014 10:18:37 +0900Re: How to enable 'CONFIG_COMMON_CLK' ?
Mon, 28 Apr 2014 23:44:36 +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.