gmane.comp.micro-kernel.l4.devel archive

3571 archived articles, newest first (page 19 of 36). Latest articles →

Re: libfs/ FUSE on L4Re
Wed, 17 Dec 2014 13:51:06 +0100
Florian Pester <[email protected]> • #6215
Re: L4Re GPIO
Tue, 16 Dec 2014 16:01:02 +0700
Erry Pradana Darajati <[email protected]> • #6214
Re: Is anyone has experience with pandaboard omap446 0？
Mon, 15 Dec 2014 12:55:37 +0100
Andre Puschmann <[email protected]> • #6213
Re: Is anyone has experience with pandaboard omap446 0？
Mon, 15 Dec 2014 11:59:32 +0000
Alexander Tarasikov <[email protected]> • #6212
Re: Is anyone has experience with pandaboard omap446 0？
Mon, 15 Dec 2014 10:53:00 +0100
Matthias Lange <[email protected]> • #6211
Re: strange Bug
Fri, 12 Dec 2014 19:32:39 +0100
ba_f <[email protected]> • #6210
Is anyone has experience with pandaboard omap4460？
Thu, 11 Dec 2014 13:38:08 +0000 (UTC)
Zachary <[email protected]> • #6209
Re: Paper: undermine memory isolation in Fiasco OC covert channels
Thu, 11 Dec 2014 08:01:45 +1100
Gernot Heiser <[email protected]> • #6208
Re: Paper: undermine memory isolation in Fiasco OC covert channels
Wed, 10 Dec 2014 16:34:49 +0100
Marcus Völp <[email protected]> • #6207
Paper: undermine memory isolation in Fiasco OC covert channels
Wed, 10 Dec 2014 09:23:13 -0500
teclis High Elf <[email protected]> • #6206
Re: User-level objects
Wed, 10 Dec 2014 00:17:26 +0100
Adam Lackorzynski <[email protected]> • #6205
Re: User-level objects
Tue, 9 Dec 2014 10:32:09 -0500
teclis High Elf <[email protected]> • #6204
Re: strange Bug
Tue, 09 Dec 2014 10:53:28 +0100
Björn Döbel <[email protected]> • #6203
Re: User-level objects
Tue, 9 Dec 2014 01:00:10 +0100
Adam Lackorzynski <[email protected]> • #6202
Re: libfs/ FUSE on L4Re
Mon, 8 Dec 2014 22:11:47 +0000
"Stark, Josef" <[email protected]> • #6201
Re: User-level objects
Mon, 8 Dec 2014 22:10:40 +0800 (CST)
li94575 <[email protected]> • #6200
Re: User-level objects
Sun, 7 Dec 2014 00:36:38 +0100
Adam Lackorzynski <[email protected]> • #6199
User-level objects
Sat, 6 Dec 2014 22:24:20 +0800 (CST)
li94575 <[email protected]> • #6198
Re: JDB percent CPU usage
Thu, 4 Dec 2014 23:57:32 +0100
Adam Lackorzynski <[email protected]> • #6197
Re: L4Re GPIO
Thu, 4 Dec 2014 23:53:01 +0100
Adam Lackorzynski <[email protected]> • #6196
L4Re GPIO
Thu, 4 Dec 2014 14:57:14 +0700
Erry Pradana Darajati <[email protected]> • #6195
JDB percent CPU usage
Wed, 3 Dec 2014 20:11:03 -0500
teclis High Elf <[email protected]> • #6194
Re: Fail to run compiled ARM on Odroid Q2
Wed, 3 Dec 2014 22:51:52 +0100
Adam Lackorzynski <[email protected]> • #6193
Re: strange Bug
Tue, 02 Dec 2014 12:36:36 +0100
ba_f <[email protected]> • #6192
Re: Fail to run compiled ARM on Odroid Q2
Tue, 2 Dec 2014 02:58:38 +0000 (UTC)
Zachary <[email protected]> • #6191
Re: Fail to run compiled ARM on Odroid Q2
Tue, 2 Dec 2014 00:45:14 +0100
Adam Lackorzynski <[email protected]> • #6190
Re: strange Bug
Mon, 01 Dec 2014 12:36:45 +0100
Björn Döbel <[email protected]> • #6189
Re: [ASK] Basic L4Re
Mon, 01 Dec 2014 10:21:40 +0100
Matthias Lange <[email protected]> • #6188
Fail to run compiled ARM on Odroid Q2
Mon, 1 Dec 2014 02:46:46 +0000 (UTC)
Zachary <[email protected]> • #6187
Re: strange Bug
Sun, 30 Nov 2014 19:59:38 +0100
ba_f <[email protected]> • #6186
Re: strange Bug
Thu, 27 Nov 2014 11:52:53 +0100
Björn Döbel <[email protected]> • #6185
Re: strange Bug
Thu, 27 Nov 2014 11:50:17 +0100
Martin Schröder <[email protected]> • #6184
Re: strange Bug
Wed, 26 Nov 2014 23:24:54 +0100
Björn Döbel <[email protected]> • #6183
Re: strange Bug
Wed, 26 Nov 2014 20:45:12 +0100
ba_f <[email protected]> • #6182
Re: strange Bug
Tue, 25 Nov 2014 10:30:58 +0100
Martin Schröder <[email protected]> • #6181
Re: Server loop does not call dispatch only when running in pthread
Mon, 24 Nov 2014 23:48:18 +0100
Adam Lackorzynski <[email protected]> • #6180
Re: strange Bug
Mon, 24 Nov 2014 23:37:23 +0100
ba_f <[email protected]> • #6179
Server loop does not call dispatch only when running in pthread
Mon, 24 Nov 2014 11:06:36 +0100
Tobias Sturm <[email protected]> • #6178
Re: strange Bug
Mon, 24 Nov 2014 16:17:43 +0100
Martin Schröder <[email protected]> • #6177
Re: strange Bug
Sat, 22 Nov 2014 15:37:01 +0100
ba_f <[email protected]> • #6176
Re: strange Bug
Sat, 22 Nov 2014 10:17:49 +0100
Björn Döbel <[email protected]> • #6175
Re: strange Bug
Sat, 22 Nov 2014 10:16:07 +0100
Björn Döbel <[email protected]> • #6174
Re: strange Bug
Fri, 21 Nov 2014 13:35:51 -0500
teclis High Elf <[email protected]> • #6173
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Fri, 21 Nov 2014 15:44:47 +0100
Mahdi Aichouch <[email protected]> • #6172
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Thu, 20 Nov 2014 23:32:24 +0100
Adam Lackorzynski <[email protected]> • #6171
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Thu, 20 Nov 2014 14:53:23 +0100
Mahdi Aichouch <[email protected]> • #6170
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Wed, 19 Nov 2014 08:31:03 -0500
teclis High Elf <[email protected]> • #6169
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Wed, 19 Nov 2014 12:20:32 +0100
Martin Schröder <[email protected]> • #6168
Re: strange Bug
Wed, 19 Nov 2014 00:19:21 +0100
ba_f <[email protected]> • #6167
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Wed, 19 Nov 2014 00:16:45 +0100
Adam Lackorzynski <[email protected]> • #6166
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Tue, 18 Nov 2014 18:55:11 +0100
Mahdi Aichouch <[email protected]> • #6165
Re: strange Bug
Tue, 18 Nov 2014 12:34:22 +0100
Björn Döbel <[email protected]> • #6164
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mon, 17 Nov 2014 23:53:11 +0100
Adam Lackorzynski <[email protected]> • #6163
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Mon, 17 Nov 2014 11:39:06 +0100
Mahdi Aichouch <[email protected]> • #6162
Re: strange Bug
Mon, 17 Nov 2014 23:00:49 +0100
ba_f <[email protected]> • #6161
Re: strange Bug
Mon, 17 Nov 2014 10:01:04 +0100
Björn Döbel <[email protected]> • #6160
Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Sat, 15 Nov 2014 22:00:28 +0100
Adam Lackorzynski <[email protected]> • #6159
Re: strange Bug
Sat, 15 Nov 2014 15:47:00 +0100
ba_f <[email protected]> • #6158
Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Fri, 14 Nov 2014 15:33:50 +0100
Mahdi Aichouch <[email protected]> • #6157
Re: strange Bug
Thu, 13 Nov 2014 23:55:57 +0100
ba_f <[email protected]> • #6156
Re: strange Bug
Thu, 13 Nov 2014 10:12:51 +0100
Björn Döbel <[email protected]> • #6155
Re: strange Bug
Wed, 12 Nov 2014 21:09:50 +0100
ba_f <[email protected]> • #6154
Re: strange Bug
Wed, 12 Nov 2014 09:28:38 +0100
Björn Döbel <[email protected]> • #6153
strange Bug
Wed, 12 Nov 2014 00:11:38 +0100
ba_f <[email protected]> • #6152
Re: SMP
Tue, 11 Nov 2014 23:07:49 +0100
Adam Lackorzynski <[email protected]> • #6151
SMP
Tue, 11 Nov 2014 13:05:50 -0500
teclis High Elf <[email protected]> • #6150
Re: Second UART and console
Mon, 10 Nov 2014 08:27:46 +0100
Matthias Lange <[email protected]> • #6149
Re: Need help profiling with Valgrind
Sun, 09 Nov 2014 22:54:51 +0100
Björn Döbel <[email protected]> • #6148
Re: Need help profiling with Valgrind
Sun, 09 Nov 2014 22:49:46 +0100
Björn Döbel <[email protected]> • #6147
Re: Need help profiling with Valgrind
Sun, 09 Nov 2014 21:59:54 +0100
ba_f <[email protected]> • #6146
Re: Need help profiling with Valgrind
Sun, 09 Nov 2014 21:43:20 +0100
ba_f <[email protected]> • #6145
Second UART and console
Sat, 8 Nov 2014 15:02:41 -0500
teclis High Elf <[email protected]> • #6144
Re: memory layout
Sat, 8 Nov 2014 00:04:24 +0100
Adam Lackorzynski <[email protected]> • #6143
memory layout
Thu, 6 Nov 2014 19:15:26 +0100
Tobias Woelfel <[email protected]> • #6142
Re: Need help profiling with Valgrind
Thu, 06 Nov 2014 07:56:30 +0100
Björn Döbel <[email protected]> • #6141
Re: How to monitor thread scheduling and the criticality of tasks?
Wed, 05 Nov 2014 14:04:08 +0100
Björn Döbel <[email protected]> • #6140
How to monitor thread scheduling and the criticality of tasks?
Wed, 05 Nov 2014 13:11:10 +0100
Karl Steger <[email protected]> • #6139
Re: Question about schedule policy
Wed, 05 Nov 2014 10:18:12 +0100
Björn Döbel <[email protected]> • #6138
Re: Question about schedule policy
Tue, 04 Nov 2014 14:13:50 +0100
Matthias Lange <[email protected]> • #6137
Re: Question about schedule policy
Tue, 04 Nov 2014 13:04:46 +0100
Björn Döbel <[email protected]> • #6136
Question about schedule policy
Tue, 4 Nov 2014 19:44:36 +0800 (CST)
Kevin <[email protected]> • #6135
Re: is there a way to run the compiled arm on Nexus S ?
Tue, 4 Nov 2014 00:53:09 +0100
cem akpolat <[email protected]> • #6134
Re: is there a way to run the compiled arm on Nexus S ?
Mon, 3 Nov 2014 23:41:29 +0100
Adam Lackorzynski <[email protected]> • #6133
Re: is there a way to run the compiled arm on Nexus S ?
Mon, 3 Nov 2014 10:50:05 +0100
cem akpolat <[email protected]> • #6132
FOSDEM 2015 - CfP: Microkernels DevRoom
Sat, 1 Nov 2014 15:33:49 +0500
"Vasily A. Sartakov" <[email protected]> • #6131
Re: Dummy irq
Sat, 1 Nov 2014 10:34:01 +0100
Adam Lackorzynski <[email protected]> • #6130
Re: libfs/ FUSE on L4Re
Sat, 1 Nov 2014 10:35:29 +0100
Adam Lackorzynski <[email protected]> • #6129
Re: is there a way to run the compiled arm on Nexus S ?
Sat, 1 Nov 2014 10:21:46 +0100
Adam Lackorzynski <[email protected]> • #6128
Dummy irq
Thu, 30 Oct 2014 11:00:22 -0400
teclis High Elf <[email protected]> • #6127
Re: is there a way to run the compiled arm on Nexus S ?
Thu, 30 Oct 2014 13:11:24 +0100
cem akpolat <[email protected]> • #6126
Re: Microkernel Stammtisch Dresden: 8pm, Nov 6, Shamrock
Wed, 29 Oct 2014 01:19:22 +0100
Julian Stecklina <[email protected]> • #6125
Microkernel Stammtisch Dresden: Nov 6, Shamrock
Wed, 29 Oct 2014 01:06:22 +0100
Julian Stecklina <[email protected]> • #6124
Re: libfs/ FUSE on L4Re
Tue, 28 Oct 2014 18:54:33 +0000
"Stark, Josef" <[email protected]> • #6123
Re: libfs/ FUSE on L4Re
Tue, 28 Oct 2014 18:29:44 +0100
Florian Pester <[email protected]> • #6122
Re: is there a way to run the compiled arm on Nexus S ?
Tue, 28 Oct 2014 10:49:38 +0100
Matthias Lange <[email protected]> • #6121
Re: is there a way to run the compiled arm on Nexus S ?
Tue, 28 Oct 2014 08:46:33 +0100
Christian Helmuth <[email protected]> • #6120
libfs/ FUSE on L4Re
Mon, 27 Oct 2014 09:41:12 +0000
"Stark, Josef" <[email protected]> • #6119
Re: is there a way to run the compiled arm on Nexus S ?
Mon, 27 Oct 2014 10:30:03 +0100
Matthias Lange <[email protected]> • #6118
Re: memcpy(): alignment error
Sat, 25 Oct 2014 20:58:31 +0200
ba_f <[email protected]> • #6117
RE: exec()
Thu, 23 Oct 2014 12:47:04 +0000
Jason Butler <[email protected]> • #6116
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.