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

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

Re: MIPS Creator CI20 patches (again)
Mon, 5 Feb 2018 00:02:47 +0100
Adam Lackorzynski <[email protected]> • #7315
Re: Get instruction opcode + operands for page fault
Sun, 4 Feb 2018 23:58:13 +0100
Adam Lackorzynski <[email protected]> • #7314
Re: MIPS Creator CI20 patches (again)
Fri, 2 Feb 2018 16:45:13 +0100
Paul Boddie <[email protected]> • #7313
Get instruction opcode + operands for page fault
Fri, 2 Feb 2018 14:32:08 +0100
Josef Stark <[email protected]> • #7312
Re: Build problems on i386 (Fiasco-OC.UX)
Tue, 30 Jan 2018 21:42:51 +0100
Paul Boddie <[email protected]> • #7311
Re: Build problems on i386 (L4Re)
Tue, 30 Jan 2018 21:25:54 +0100
Paul Boddie <[email protected]> • #7310
OS Engineers Wanted!
Wed, 31 Jan 2018 06:36:44 +1100
Gernot Heiser <[email protected]> • #7309
Re: Build problems on i386 (Fiasco-OC.UX)
Tue, 30 Jan 2018 00:32:30 +0100
Adam Lackorzynski <[email protected]> • #7308
Re: Build problems on i386 (L4Re)
Tue, 30 Jan 2018 00:00:37 +0100
Adam Lackorzynski <[email protected]> • #7307
Build problems on i386 (L4Re)
Mon, 29 Jan 2018 23:40:15 +0100
Paul Boddie <[email protected]> • #7306
Build problems on i386 (Fiasco-OC.UX)
Mon, 29 Jan 2018 22:36:34 +0100
Paul Boddie <[email protected]> • #7305
Re: Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Fri, 26 Jan 2018 16:37:25 +0100
Christian Ludwig <[email protected]> • #7304
Re: Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Fri, 26 Jan 2018 14:34:29 +0000
"Stark, Josef" <[email protected]> • #7303
Re: Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Thu, 25 Jan 2018 23:37:05 +0100
Adam Lackorzynski <[email protected]> • #7302
Access ARM Data Fault Address Register (System Control Register) in Fiasco.OC
Thu, 25 Jan 2018 16:32:25 +0000
"Stark, Josef" <[email protected]> • #7301
Re: L4/Fiasco kernel debugger (jdb) and step over command
Mon, 22 Jan 2018 00:57:33 +0100
Adam Lackorzynski <[email protected]> • #7300
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 18 Jan 2018 08:47:52 +0300
"Valery V. Sedletski" <[email protected]> • #7299
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 18 Jan 2018 00:41:43 +0100
Adam Lackorzynski <[email protected]> • #7298
Re: L4/Fiasco kernel debugger (jdb) and step over command
Tue, 16 Jan 2018 01:38:18 +0300
"Valery V. Sedletski" <[email protected]> • #7297
Microkernel and alumni meetup
Mon, 15 Jan 2018 09:18:04 +0100
Matthias Lange <[email protected]> • #7296
Re: Question about vm memory initialization
Thu, 11 Jan 2018 22:27:35 +0800
nico <[email protected]> • #7295
Re: Question about vm memory initialization
Thu, 11 Jan 2018 00:01:27 +0100
Adam Lackorzynski <[email protected]> • #7294
Re: Question about vm memory initialization
Wed, 10 Jan 2018 21:33:51 +0800
nico <[email protected]> • #7293
Re: Workaround to build l4linux for ARM Target
Wed, 10 Jan 2018 17:14:32 +0800
Leslie Zhai <[email protected]> • #7292
Re: Workaround to build l4linux for ARM Target
Wed, 10 Jan 2018 09:44:06 +0100
Matthias Lange <[email protected]> • #7291
Re: Question about vm memory initialization
Wed, 10 Jan 2018 09:37:44 +0100
Matthias Lange <[email protected]> • #7290
Re: Workaround to build l4linux for ARM Target
Wed, 10 Jan 2018 14:29:46 +0800
Leslie Zhai <[email protected]> • #7289
Workaround to build l4linux for ARM Target
Wed, 10 Jan 2018 12:30:49 +0800
Leslie Zhai <[email protected]> • #7288
Re: Question about vm memory initialization
Wed, 10 Jan 2018 09:11:09 +0800 (CST)
nico.hacker <[email protected]> • #7287
Re: MIPS Creator CI20 patches (again)
Wed, 10 Jan 2018 00:48:03 +0100
Adam Lackorzynski <[email protected]> • #7286
Re: MIPS Creator CI20 patches (again)
Tue, 9 Jan 2018 23:17:10 +0100
Paul Boddie <[email protected]> • #7285
Re: Question about vm memory initialization
Tue, 9 Jan 2018 23:36:25 +0100
Adam Lackorzynski <[email protected]> • #7284
Question about vm memory initialization
Tue, 09 Jan 2018 19:18:20 +0800
nico <[email protected]> • #7283
Re: MIPS Creator CI20 patches (again)
Tue, 9 Jan 2018 01:02:58 +0100
Paul Boddie <[email protected]> • #7282
Re: MIPS Creator CI20 patches (again)
Tue, 9 Jan 2018 00:46:53 +0100
Adam Lackorzynski <[email protected]> • #7281
L4Re and Meltdown / Spectre attacks
Mon, 8 Jan 2018 11:03:03 +0100
Matthias Lange <[email protected]> • #7280
Re: MIPS Creator CI20 patches (again)
Mon, 8 Jan 2018 01:14:09 +0100
Paul Boddie <[email protected]> • #7279
Re: MIPS Creator CI20 patches (again)
Mon, 8 Jan 2018 00:37:41 +0100
Adam Lackorzynski <[email protected]> • #7278
Re: MIPS Creator CI20 patches (again)
Sun, 7 Jan 2018 14:15:13 +0100
Paul Boddie <[email protected]> • #7277
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 28 Dec 2017 23:27:06 +0100
Adam Lackorzynski <[email protected]> • #7276
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 28 Dec 2017 05:59:05 +0300
"Valery V. Sedletski" <[email protected]> • #7275
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 28 Dec 2017 02:54:20 +0300
"Valery V. Sedletski" <[email protected]> • #7274
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 28 Dec 2017 01:22:31 +0100
Adam Lackorzynski <[email protected]> • #7273
Re: L4/Fiasco kernel debugger (jdb) and step over command
Thu, 28 Dec 2017 00:29:03 +0100
Adam Lackorzynski <[email protected]> • #7272
Re: L4/Fiasco kernel debugger (jdb) and step over command
Wed, 27 Dec 2017 18:33:16 +0300
"Valery V. Sedletski" <[email protected]> • #7271
Re: L4/Fiasco kernel debugger (jdb) and step over command
Wed, 27 Dec 2017 11:05:02 +0100
Matthias Lange <[email protected]> • #7270
L4/Fiasco kernel debugger (jdb) and step over command
Tue, 26 Dec 2017 19:54:43 +0300
"Valery V. Sedletski" <[email protected]> • #7269
Re: MIPS Creator CI20 patches (again)
Thu, 21 Dec 2017 01:55:51 +0100
Paul Boddie <[email protected]> • #7268
Re: MIPS Creator CI20 patches (again)
Wed, 20 Dec 2017 16:52:45 +0100
Paul Boddie <[email protected]> • #7267
Fiasco.OC port on Jailhouse
Wed, 20 Dec 2017 01:49:57 +0530
Muneeswaran Rajendran <[email protected]> • #7266
Re: exception while running L4linux on raspberry pi 2
Mon, 18 Dec 2017 00:35:33 +0100
Adam Lackorzynski <[email protected]> • #7265
Re: Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...
Mon, 18 Dec 2017 00:17:51 +0100
Adam Lackorzynski <[email protected]> • #7264
exception while running L4linux on raspberry pi 2
Fri, 15 Dec 2017 15:09:54 +0530
vmc doe <[email protected]> • #7263
Trying l4re-snapshot-17.10 on a Wanboard(iMX6Q) hangs at Starting kernel ...
Fri, 15 Dec 2017 12:09:43 +0000
"Sathish Kumar Balasubramaniam -ERS, HCL Tech" <[email protected]> • #7262
MIPS Creator CI20 patches (again)
Fri, 15 Dec 2017 20:04:11 +0100
Paul Boddie <[email protected]> • #7261
Re: Add network device to L4Linux
Tue, 28 Nov 2017 17:28:26 +0100
Christian Ludwig <[email protected]> • #7260
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Sun, 26 Nov 2017 23:18:07 +0100
Adam Lackorzynski <[email protected]> • #7259
Re: Add network device to L4Linux
Sat, 25 Nov 2017 20:18:32 +0000
Yiyang Su <[email protected]> • #7258
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Fri, 24 Nov 2017 10:30:31 +0100
Alexander Weidinger <[email protected]> • #7257
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Fri, 24 Nov 2017 01:10:14 +0100
Adam Lackorzynski <[email protected]> • #7256
Re: Porting Fiasco + L4Re to Raspberry Pi 2
Tue, 21 Nov 2017 16:19:52 +0100
Alexander Weidinger <[email protected]> • #7255
Re: Does the latest version of L4Re support 64bit VMM?
Mon, 20 Nov 2017 19:17:01 +0100
Adam Lackorzynski <[email protected]> • #7254
Does the latest version of L4Re support 64bit VMM?
Sun, 19 Nov 2017 22:47:15 +0800
nico <[email protected]> • #7253
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Wed, 1 Nov 2017 23:23:25 +0100
Adam Lackorzynski <[email protected]> • #7252
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Wed, 1 Nov 2017 23:20:52 +0100
Adam Lackorzynski <[email protected]> • #7251
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Wed, 1 Nov 2017 12:37:45 +0800
Leslie Zhai <[email protected]> • #7250
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Wed, 1 Nov 2017 11:17:12 +0800
Leslie Zhai <[email protected]> • #7249
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Wed, 1 Nov 2017 01:03:36 +0100
Paul Boddie <[email protected]> • #7248
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Wed, 1 Nov 2017 00:38:23 +0100
Adam Lackorzynski <[email protected]> • #7247
Re: Booting L4Re with qemu-system-arm: Panic in sigma0
Tue, 31 Oct 2017 13:41:22 +0100
Matthias Lange <[email protected]> • #7246
Booting L4Re with qemu-system-arm: Panic in sigma0
Tue, 31 Oct 2017 16:24:10 +0800
Leslie Zhai <[email protected]> • #7245
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Mon, 30 Oct 2017 18:38:40 +0100
Paul Boddie <[email protected]> • #7244
Re: Add network device to L4Linux
Fri, 27 Oct 2017 11:52:05 +0200
Marcus Hähnel <[email protected]> • #7243
Re: Add network device to L4Linux
Fri, 27 Oct 2017 09:08:31 +0000
Yiyang Su <[email protected]> • #7242
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Wed, 25 Oct 2017 00:42:59 +0200
Adam Lackorzynski <[email protected]> • #7241
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Mon, 23 Oct 2017 01:50:47 +0200
Paul Boddie <[email protected]> • #7240
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Mon, 23 Oct 2017 00:55:53 +0200
Adam Lackorzynski <[email protected]> • #7239
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Mon, 16 Oct 2017 15:35:22 +0200
Paul Boddie <[email protected]> • #7238
Re: Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Mon, 16 Oct 2017 00:48:38 +0200
Adam Lackorzynski <[email protected]> • #7237
Re: Problem with L4Linux accessing ethernet clocks
Mon, 16 Oct 2017 00:39:56 +0200
Adam Lackorzynski <[email protected]> • #7236
Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Sat, 14 Oct 2017 17:09:46 +0200
Paul Boddie <[email protected]> • #7235
Re: Problem with L4Linux accessing ethernet clocks
Wed, 11 Oct 2017 16:33:58 +0300
Manolis Ragkousis <[email protected]> • #7234
FOSDEM 2018 - Microkernels developer room - CfP
Mon, 9 Oct 2017 08:37:57 +0200
Jakub Jermar <[email protected]> • #7233
Re: Add network device to L4Linux
Thu, 5 Oct 2017 00:34:50 +0200
Adam Lackorzynski <[email protected]> • #7232
Re: Problem with L4Linux accessing ethernet clocks
Thu, 5 Oct 2017 00:25:10 +0200
Adam Lackorzynski <[email protected]> • #7231
Re: Add network device to L4Linux
Wed, 27 Sep 2017 17:13:10 +0000
Yiyang Su <[email protected]> • #7230
Re: Trying to run L4Linux on Cubietruck
Sat, 23 Sep 2017 09:07:15 +0000
Yiyang Su <[email protected]> • #7229
Re: Add network device to L4Linux
Sat, 23 Sep 2017 11:12:08 +0300
Manolis Ragkousis <[email protected]> • #7228
Problem with L4Linux accessing ethernet clocks
Fri, 22 Sep 2017 17:05:58 +0300
Manolis Ragkousis <[email protected]> • #7227
Re: Add network device to L4Linux
Thu, 21 Sep 2017 15:07:45 +0000
Yiyang Su <[email protected]> • #7226
Re: Add network device to L4Linux
Fri, 15 Sep 2017 08:08:17 +0200
Matthias Lange <[email protected]> • #7225
Add network device to L4Linux
Wed, 13 Sep 2017 11:56:58 +0000
Yiyang Su <[email protected]> • #7224
Re: L4Linux network and SD Access
Fri, 18 Aug 2017 17:35:39 -0500
"Daniel (Xiaolong) Wang" <[email protected]> • #7223
Re: L4Linux network and SD Access
Thu, 17 Aug 2017 00:26:40 +0200
Adam Lackorzynski <[email protected]> • #7222
Re: L4Linux network and SD Access
Tue, 15 Aug 2017 17:49:33 -0500
"Daniel (Xiaolong) Wang" <[email protected]> • #7221
Re: Trying to run L4Linux on Cubietruck
Wed, 2 Aug 2017 00:38:46 +0200
Adam Lackorzynski <[email protected]> • #7220
Trying to run L4Linux on Cubietruck
Tue, 1 Aug 2017 09:15:08 +0000
Yiyang Su <[email protected]> • #7219
Re: I/O memory access and hardware page mappings
Wed, 26 Jul 2017 00:42:17 +0200
Paul Boddie <[email protected]> • #7218
Re: I/O memory access and hardware page mappings
Tue, 25 Jul 2017 23:47:26 +0200
Adam Lackorzynski <[email protected]> • #7217
I/O memory access and hardware page mappings
Mon, 24 Jul 2017 16:55:37 +0200
Paul Boddie <[email protected]> • #7216
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.