gmane.comp.micro-kernel.l4.devel

8015 articles on record, showing the most recent 50.

Re: Question regarding planned features and major updates
Wed, 15 Jul 2026 06:37:09 -0000
"David Q" <[email protected]> • #8015
Re: Question regarding planned features and major updates
Sun, 12 Jul 2026 23:11:45 +0200
Adam Lackorzynski <[email protected]> • #8014
Question regarding planned features and major updates
Mon, 06 Jul 2026 06:32:55 -0000
"David Q" <[email protected]> • #8013
Re: Comprehension question: vcpu vs extended vcpu
Mon, 01 Jun 2026 02:50:49 -0000
"David Q" <[email protected]> • #8012
NOVA multitasking
Fri, 29 May 2026 23:04:29 +0000
Nate via l4-hackers <[email protected]> • #8011
Re: Comprehension question: vcpu vs extended vcpu
Fri, 29 May 2026 22:56:58 +0200
Adam Lackorzynski <[email protected]> • #8010
Comprehension question: vcpu vs extended vcpu
Fri, 29 May 2026 03:47:44 -0000
"David Q" <[email protected]> • #8009
Re: Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Thu, 14 May 2026 09:19:27 +0800 (GMT+08:00)
"stephen.yang" <[email protected]> • #8008
Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Mon, 4 May 2026 06:53:39 +0200
Adam Lackorzynski <[email protected]> • #8007
Re:Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Sun, 26 Apr 2026 13:18:05 +0800 (CST)
"stephen.yang" <[email protected]> • #8006
Re:Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Sat, 18 Apr 2026 14:22:16 +0800 (CST)
"stephen.yang" <[email protected]> • #8005
Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Wed, 22 Apr 2026 06:59:29 +0200
Adam Lackorzynski <[email protected]> • #8004
Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Wed, 15 Apr 2026 13:39:23 +0200
Adam Lackorzynski <[email protected]> • #8003
Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping
Mon, 13 Apr 2026 14:53:00 +0800 (CST)
"stephen.yang" <[email protected]> • #8002
Re: Mounting the Sd card on the L4re for Imx 95.
Sun, 8 Feb 2026 23:46:40 +0100
Adam Lackorzynski <[email protected]> • #8001
Beyond the Bricks: How Google's Block Breaker Doodle Reminds Us of the Joy of Play
Fri, 06 Feb 2026 21:16:42 -0000
[email protected] • #8000
Re: VMs on L4Re
Fri, 16 Jan 2026 19:06:25 +1100
Quang <[email protected]> • #7999
Mounting the Sd card on the L4re for Imx 95.
Fri, 16 Jan 2026 13:48:59 +0530
Marka Sriharsha <[email protected]> • #7998
Re: VMs on L4Re
Fri, 16 Jan 2026 08:55:21 +0100
Adam Lackorzynski <[email protected]> • #7997
VMs on L4Re
Fri, 9 Jan 2026 23:05:21 +1100
Quang <[email protected]> • #7996
Re: custom virtio
Fri, 26 Dec 2025 00:57:59 +0100
Adam Lackorzynski <[email protected]> • #7995
custom virtio
Thu, 25 Dec 2025 01:40:08 +0200
Baruch Burstein <[email protected]> • #7994
Re: Multiple targets in one package
Wed, 3 Dec 2025 22:04:01 +0100
Adam Lackorzynski <[email protected]> • #7993
Multiple targets in one package
Wed, 3 Dec 2025 22:50:01 +0200
Baruch Burstein <[email protected]> • #7992
[FOSDEM'26] Call for Participation: Microkernel and Component-Based OS Devroom
Tue, 4 Nov 2025 09:01:09 +0100
Sebastian Sumpf <[email protected]> • #7991
Sculpt 25.10 with Fiasco.OC kernel
Mon, 3 Nov 2025 15:22:46 +0100
Alexander Boettcher <[email protected]> • #7990
Re: Assertion ¡®state() & Thread_vcpu_user' in kernel vgic interrupt processing
Tue, 14 Oct 2025 22:41:15 +0200
Adam Lackorzynski <[email protected]> • #7989
Re:Re: Assertion ¡®state() & Thread_vcpu_ user' in kernel vgic interrupt processing
Mon, 13 Oct 2025 10:28:14 +0800 (CST)
yy18513676366 <[email protected]> • #7988
Questions regarding L4::Platform_Control
Mon, 13 Oct 2025 02:49:24 -0000
"David Q" <[email protected]> • #7987
Re: Assertion ¡®state() & Thread_vcpu_user' in kernel vgic interrupt processing
Mon, 6 Oct 2025 00:00:44 +0200
Adam Lackorzynski <[email protected]> • #7986
Re:Re: Assertion ¡®state() & Thread_vcpu_ user' in kernel vgic interrupt processing
Thu, 2 Oct 2025 13:02:50 +0800 (CST)
yy18513676366 <[email protected]> • #7985
Re: Assertion ¡®state() & Thread_vcpu_user' in kernel vgic interrupt processing
Tue, 30 Sep 2025 09:50:22 +0200
Adam Lackorzynski <[email protected]> • #7984
Re:Re: Assertion ¡®state() & Thread_vcpu_ user' in kernel vgic interrupt processing
Tue, 30 Sep 2025 11:14:57 +0800 (CST)
yy18513676366 <[email protected]> • #7983
Re: Assertion ¡®state() & Thread_vcpu_user' in kernel vgic interrupt processing
Sun, 28 Sep 2025 18:11:41 +0200
Adam Lackorzynski <[email protected]> • #7982
Re: L4 Thread, pthread, comprehension question
Tue, 23 Sep 2025 02:36:41 -0000
"David Q" <[email protected]> • #7981
Re: L4 Thread, pthread, comprehension question
Tue, 23 Sep 2025 02:30:22 -0000
"David Q" <[email protected]> • #7980
Re: L4 Thread, pthread, comprehension question
Mon, 22 Sep 2025 13:59:48 +0200
Marcus Haehnel <[email protected]> • #7979
Re: L4 Thread, pthread, comprehension question
Mon, 22 Sep 2025 17:20:00 +0200
Paul Boddie <[email protected]> • #7978
Re: L4 Thread, pthread, comprehension question
Mon, 22 Sep 2025 03:58:53 -0000
"David Q" <[email protected]> • #7977
L4 Thread, pthread, comprehension question
Mon, 22 Sep 2025 03:37:07 -0000
[email protected] • #7976
Assertion ‘state() & Thread_vcpu_user ' in kernel vgic interrupt processing
Wed, 17 Sep 2025 13:57:43 +0800 (CST)
yy18513676366 <[email protected]> • #7975
Re: Help: interactive REPL I/O for user program on L4 Re/Fiasco.OC (amd64-plain) — Vcon/cons nearly worki ng; canonical approach?
Sun, 7 Sep 2025 08:09:03 -0400
"R.A. James" <[email protected]> • #7974
Help: interactive REPL I/O for user program on L4Re/Fia sco.OC (amd64-plain) — Vcon/cons nearly working; canonical approach?
Wed, 3 Sep 2025 15:03:27 -0400
"Robert A. James" <[email protected]> • #7973
Re: Question about SMC filtering in smc_user.cpp on ARM64
Fri, 25 Jul 2025 23:26:56 +0200
Adam Lackorzynski <[email protected]> • #7972
Question about SMC filtering in smc_user.cpp on ARM64
Thu, 24 Jul 2025 16:50:12 +0800
Gravel Yuan <[email protected]> • #7971
Re: L4Re: MIPS SMP cache initialisation may be broken for some CPUs
Sun, 20 Jul 2025 22:25:13 +0100
Paul Boddie <[email protected]> • #7970
Re: L4Re: MIPS SMP cache initialisation may be broken for some CPUs
Sun, 20 Jul 2025 21:42:41 +0200
Adam Lackorzynski <[email protected]> • #7969
Re: Subject: Introduction – StarshipOS: A gForth/JVM Hybrid on L4Re
Sat, 12 Jul 2025 23:51:24 +0100
Paul Boddie <[email protected]> • #7968
Subject: Introduction – StarshipOS: A gForth/JVM H ybrid on L4Re
Wed, 9 Jul 2025 08:56:39 -0400
Robert James <[email protected]> • #7967
Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)
Mon, 23 Jun 2025 15:59:23 +0200
Marcus Hähnel <[email protected]> • #7966