gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 24 of 36). Latest articles →
Re: Question abut DRQ handler
Mon, 7 Jul 2014 23:46:00 +0200Re: Fwd: Problems using qemu devices from l4re
Mon, 7 Jul 2014 23:40:22 +0200Re: Adding a new scheduling algorithm to Fiasco.OC
Mon, 7 Jul 2014 22:57:29 +0200Re: Question abut DRQ handler
Mon, 7 Jul 2014 11:15:27 -0400Re: Who uses memory originally from IO device
Fri, 04 Jul 2014 15:15:17 +0200Re: Delay::measure function
Fri, 04 Jul 2014 12:06:40 +0200RE: Delay::measure function
Fri, 4 Jul 2014 11:18:35 +0200Re: Fwd: Problems using qemu devices from l4re
Fri, 4 Jul 2014 11:17:24 +0200Re: Fwd: Problems using qemu devices from l4re
Fri, 4 Jul 2014 10:31:56 +0200MOE uses memory originally from IO device
Thu, 03 Jul 2014 18:21:43 +0200Re: Adding a new scheduling algorithm to Fiasco.OC
Thu, 03 Jul 2014 12:09:06 +0200Re: Fwd: Problems using qemu devices from l4re
Thu, 3 Jul 2014 11:40:10 +0200Re: Fwd: Problems using qemu devices from l4re
Thu, 03 Jul 2014 11:34:36 +0200Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 3 Jul 2014 09:25:30 +0200Fwd: Problems using qemu devices from l4re
Wed, 2 Jul 2014 16:38:07 +0200Re: Thanks Martin !! I got Ethernet on L4 Linux !!
Wed, 02 Jul 2014 18:34:57 +0900Re: Adding a new scheduling algorithm to Fiasco.OC
Wed, 2 Jul 2014 00:30:05 +0200Re: Question about handshake_receiver in IPC
Wed, 2 Jul 2014 00:08:14 +0200Re: real time application example in l4re
Tue, 1 Jul 2014 23:59:13 +0200Re: Question abut DRQ handler
Tue, 1 Jul 2014 23:44:22 +0200Re: Delay::measure function
Tue, 01 Jul 2014 17:36:32 +0200Delay::measure function
Tue, 1 Jul 2014 17:04:42 +0200Question about handshake_receiver in IPC
Mon, 30 Jun 2014 14:42:14 -0400Re: Adding a new scheduling algorithm to Fiasco.OC
Mon, 30 Jun 2014 12:08:00 +0200real time application example in l4re
Sun, 29 Jun 2014 15:58:54 +0200Re: Question abut DRQ handler
Fri, 27 Jun 2014 10:21:38 -0400Re: Question abut DRQ handler
Thu, 26 Jun 2014 22:38:28 +0200Re: IO configuration language
Wed, 25 Jun 2014 17:11:29 +0200Re: A conceptual question about IPC
Tue, 24 Jun 2014 23:40:00 +0200Re: IO configuration language
Tue, 24 Jun 2014 23:31:47 +0200Re: IO configuration language
Tue, 24 Jun 2014 23:27:07 +0200Question abut DRQ handler
Tue, 24 Jun 2014 15:43:06 -0400Re: IO configuration language
Tue, 24 Jun 2014 17:35:50 +0200A conceptual question about IPC
Tue, 24 Jun 2014 08:16:19 -0500Re: IO configuration language
Tue, 24 Jun 2014 14:32:54 +0200Re: Setting task priority in loader configuration script
Tue, 24 Jun 2014 09:05:14 +1000Re: Setting task priority in loader configuration script
Tue, 24 Jun 2014 08:40:57 +1000Re: Setting task priority in loader configuration script
Mon, 23 Jun 2014 22:00:42 +0200Re: IO configuration language
Mon, 23 Jun 2014 12:49:34 +0200Setting task priority in loader configuration script
Mon, 23 Jun 2014 12:43:21 +1000Re: Graphical desktop, l4con, mag
Mon, 23 Jun 2014 00:17:39 +0200Re: Fwd: l4shmnet and its structure
Sun, 22 Jun 2014 23:55:36 +0200Re: RCU period
Sun, 22 Jun 2014 23:35:17 +0200Re: How does Fiasco implement printf
Sun, 22 Jun 2014 23:29:37 +0200Re: IO configuration language
Sun, 22 Jun 2014 23:25:25 +0200Re: How does Fiasco implement printf
Sat, 21 Jun 2014 23:28:15 +0800Re: Question about seL4 on July 29th
Sat, 21 Jun 2014 12:45:54 +1000Re: Question about seL4 on July 29th
Sat, 21 Jun 2014 02:33:33 +0000Question about seL4 on July 29th
Fri, 20 Jun 2014 20:59:11 -0500Re: Graphical desktop, l4con, mag
Fri, 20 Jun 2014 19:16:46 -0400How does Fiasco implement printf
Fri, 20 Jun 2014 17:11:21 -0400Re: Graphical desktop, l4con, mag
Fri, 20 Jun 2014 20:39:32 +0200Re: Graphical desktop, l4con, mag
Fri, 20 Jun 2014 14:06:17 -0400Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Fri, 20 Jun 2014 12:02:59 +0200Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 19 Jun 2014 11:06:37 -0500Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 19 Jun 2014 18:45:23 +0300Re: Fwd: l4shmnet and its structure
Thu, 19 Jun 2014 17:59:42 +0200Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 19 Jun 2014 10:34:17 -0500Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 19 Jun 2014 16:55:39 +0200Re: Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 19 Jun 2014 09:12:10 -0500IO configuration language
Thu, 19 Jun 2014 15:03:05 +0200Doubts about File Systems on FIASCO on ARM (Cortex-A15)
Thu, 19 Jun 2014 14:44:19 +0200Re: Graphical desktop, l4con, mag
Wed, 18 Jun 2014 13:56:48 -0400Re: RCU period
Wed, 18 Jun 2014 10:20:20 -0400Re: Graphical desktop, l4con, mag
Wed, 18 Jun 2014 08:30:23 -0400Re: Graphical desktop, l4con, mag
Wed, 18 Jun 2014 14:14:36 +0200Re: Istream beginner help
Tue, 17 Jun 2014 23:34:10 +0200Re: RCU period
Tue, 17 Jun 2014 23:42:26 +0200Re: Fwd: l4shmnet and its structure
Tue, 17 Jun 2014 23:21:32 +0200RCU period
Tue, 17 Jun 2014 11:59:43 -0400Fwd: l4shmnet and its structure
Mon, 16 Jun 2014 20:49:12 +0200Re: Graphical desktop, l4con, mag
Mon, 16 Jun 2014 11:12:22 -0400Istream beginner help
Thu, 12 Jun 2014 21:56:05 +0200Re: Multiple IPC_Gate channels per task
Fri, 13 Jun 2014 22:08:32 +0200Re: Adding a new scheduling algorithm to Fiasco.OC
Fri, 13 Jun 2014 22:01:58 +0200Re: l4shmnet and its structure
Fri, 13 Jun 2014 21:57:23 +0200Multiple IPC_Gate channels per task
Thu, 12 Jun 2014 10:34:23 -0400Adding a new scheduling algorithm to Fiasco.OC
Thu, 12 Jun 2014 16:29:43 +0200l4shmnet and its structure
Wed, 11 Jun 2014 00:16:47 +0200Re: Graphical desktop, l4con, mag
Tue, 10 Jun 2014 23:17:18 +0200Re: Trouble building l4linux
Tue, 10 Jun 2014 22:59:56 +0200Re: Graphical desktop, l4con, mag
Tue, 10 Jun 2014 14:20:54 -0400Re: Graphical desktop, l4con, mag
Tue, 10 Jun 2014 11:59:41 -0400Re: Graphical desktop, l4con, mag
Tue, 10 Jun 2014 15:22:02 +0200Graphical desktop, l4con, mag
Tue, 10 Jun 2014 09:10:37 -0400Re: EFI boot fails
Tue, 10 Jun 2014 08:54:42 +0200Dresden Microkernel Hackers Meet-up: Thursday 20:00 @ Stilbruch
Sun, 08 Jun 2014 18:24:02 +0200Trouble building l4linux
Sun, 08 Jun 2014 10:44:32 +0200EFI boot fails
Sat, 7 Jun 2014 19:46:15 +0200Re: Adding hardware access to L4Linux, and killing serial console
Sat, 7 Jun 2014 00:27:50 +0200Re: Clans and chiefs
Sat, 7 Jun 2014 00:09:27 +0200Re: error: ext2_lookup: deleted inode referenced
Sat, 7 Jun 2014 00:04:27 +0200Re: Question about cross core IPC
Sat, 7 Jun 2014 00:03:11 +0200Re: how to transfer capabilities from server to client
Fri, 6 Jun 2014 21:40:40 +0200Re: how to transfer capabilities from server to client
Fri, 6 Jun 2014 15:34:36 -0400Re: how to transfer capabilities from server to client
Fri, 6 Jun 2014 21:12:11 +0200Clans and chiefs
Fri, 6 Jun 2014 15:04:14 -0400Re: how to transfer capabilities from server to client
Fri, 6 Jun 2014 14:46:33 -0400A convenient makefile
Fri, 06 Jun 2014 19:54:43 +0200error: ext2_lookup: deleted inode referenced
Fri, 6 Jun 2014 18:15:23 +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.