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

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

Re: L4Re: Allocating pinned memory and obtaining its physical address
Sun, 23 Apr 2023 10:09:52 +0200
Jakub Jermář <[email protected]> • #7715
L4Re: Allocating pinned memory and obtaining its physical address
Sun, 23 Apr 2023 00:29:13 +0200
Paul Boddie <[email protected]> • #7714
Re: building x86-32
Sat, 11 Mar 2023 22:30:22 +0100
Adam Lackorzynski <[email protected]> • #7713
Aw: Re: building x86-32
Fri, 10 Mar 2023 16:56:43 +0100
[email protected] • #7712
Re: building x86-32
Thu, 9 Mar 2023 21:36:35 +0100
Matthias Lange <[email protected]> • #7711
building x86-32
Thu, 9 Mar 2023 18:42:30 +0100
[email protected] • #7710
GI Operating-Systems + Fault Tolerance Meeting
Thu, 26 Jan 2023 15:39:12 +0100
Horst Schirmeier <[email protected]> • #7709
Re: L4Re: uClibc and UTCB/TCR initialisation
Sat, 01 Oct 2022 16:31:45 +0200
Paul Boddie <[email protected]> • #7708
Re: Creating tasks and the l4_task_map function
Sat, 01 Oct 2022 16:24:45 +0200
Paul Boddie <[email protected]> • #7707
Re: Creating tasks and the l4_task_map function
Fri, 30 Sep 2022 14:59:07 +0200
Philipp Eppelt <[email protected]> • #7706
Re: Creating tasks and the l4_task_map function
Fri, 30 Sep 2022 09:07:59 +0200
Frank Mehnert <[email protected]> • #7705
Re: Creating tasks and the l4_task_map function
Thu, 29 Sep 2022 23:54:04 +0200
Paul Boddie <[email protected]> • #7704
Re: Creating tasks and the l4_task_map function
Thu, 29 Sep 2022 22:15:06 +0200
Paul Boddie <[email protected]> • #7703
Re: Creating tasks and the l4_task_map function
Thu, 29 Sep 2022 15:36:02 +0200
Paul Boddie <[email protected]> • #7702
Re: Creating tasks and the l4_task_map function
Thu, 29 Sep 2022 13:55:49 +0200
Philipp Eppelt <[email protected]> • #7701
Re: Creating tasks and the l4_task_map function
Wed, 28 Sep 2022 18:36:38 +0200
Philipp Eppelt <[email protected]> • #7700
L4Re: uClibc and UTCB/TCR initialisation
Fri, 23 Sep 2022 17:29:06 +0200
Paul Boddie <[email protected]> • #7699
Re: Is there a benchmark for the IPC of L4Re?
Fri, 23 Sep 2022 10:11:13 +0200
Matthias Lange <[email protected]> • #7698
Is there a benchmark for the IPC of L4Re?
Wed, 21 Sep 2022 08:21:15 -0400
Mincheol Sung <[email protected]> • #7697
Re: Build for x86_64 bare-metal machine
Mon, 19 Sep 2022 10:21:28 +0200
Matthias Lange <[email protected]> • #7696
Build for x86_64 bare-metal machine
Sun, 18 Sep 2022 16:05:52 -0400
Mincheol Sung <[email protected]> • #7695
Re: Creating tasks and the l4_task_map function
Sun, 18 Sep 2022 23:15:35 +0200
Paul Boddie <[email protected]> • #7694
Re: NXP LX2160 Uboot Fail
Sun, 11 Sep 2022 19:37:24 +0200
Adam Lackorzynski <[email protected]> • #7693
Re: NXP LX2160 Uboot Fail
Thu, 8 Sep 2022 07:09:17 +0000
rib0327 <[email protected]> • #7692
Re: NXP LX2160 Uboot Fail
Thu, 1 Sep 2022 00:00:53 +0200
Adam Lackorzynski <[email protected]> • #7691
NXP LX2160 Uboot Fail
Wed, 31 Aug 2022 08:01:05 +0000
rib0327 <[email protected]> • #7690
Re: Creating tasks and the l4_task_map function
Mon, 29 Aug 2022 00:37:31 +0200
Paul Boddie <[email protected]> • #7689
Re: Creating tasks and the l4_task_map function
Sun, 28 Aug 2022 23:07:38 +0200
Adam Lackorzynski <[email protected]> • #7688
Re: Problem with newest Git-Version (RPi4)
Sun, 28 Aug 2022 23:04:20 +0200
Adam Lackorzynski <[email protected]> • #7687
Problem with newest Git-Version (RPi4)
Thu, 25 Aug 2022 09:40:54 +0000
rib0327 <[email protected]> • #7686
Re: Creating tasks and the l4_task_map function
Sun, 21 Aug 2022 00:18:57 +0200
Paul Boddie <[email protected]> • #7685
Re: Qemu cannot launch pre-built epi images using OVMF .fd
Tue, 12 Jul 2022 09:59:46 +0800
"郭聪" <[email protected]> • #7684
Re: Qemu cannot launch pre-built epi images using OVMF.fd
Mon, 11 Jul 2022 11:40:57 +0200
Matthias Lange <[email protected]> • #7683
Qemu cannot launch pre-built epi images using OVMF.fd
Thu, 07 Jul 2022 10:04:47 +0800
"郭聪" <[email protected]> • #7682
How to build a bootable l4linux image
Mon, 04 Jul 2022 17:27:58 +0800
"郭聪" <[email protected]> • #7681
Re: Creating tasks and the l4_task_map function
Wed, 04 May 2022 01:15:19 +0200
Paul Boddie <[email protected]> • #7680
Re: Creating tasks and the l4_task_map function
Wed, 4 May 2022 00:25:42 +0200
Adam Lackorzynski <[email protected]> • #7679
Re: Creating tasks and the l4_task_map function
Fri, 29 Apr 2022 00:28:10 +0200
Paul Boddie <[email protected]> • #7678
Re: Creating tasks and the l4_task_map function
Thu, 28 Apr 2022 23:21:46 +0200
Adam Lackorzynski <[email protected]> • #7677
Re: Creating tasks and the l4_task_map function
Mon, 25 Apr 2022 17:55:45 +0200
Paul Boddie <[email protected]> • #7676
Re: Creating tasks and the l4_task_map function
Mon, 25 Apr 2022 01:04:44 +0200
Adam Lackorzynski <[email protected]> • #7675
Re: Creating tasks and the l4_task_map function
Sat, 23 Apr 2022 00:40:05 +0200
Paul Boddie <[email protected]> • #7674
Re: Creating tasks and the l4_task_map function
Fri, 22 Apr 2022 01:16:44 +0200
Paul Boddie <[email protected]> • #7673
Re: Creating tasks and the l4_task_map function
Thu, 21 Apr 2022 22:57:40 +0200
Adam Lackorzynski <[email protected]> • #7672
Re: Creating tasks and the l4_task_map function
Thu, 21 Apr 2022 01:14:02 +0200
Paul Boddie <[email protected]> • #7671
Re: Creating tasks and the l4_task_map function
Tue, 19 Apr 2022 01:20:30 +0200
Paul Boddie <[email protected]> • #7670
Re: Unresolved page faults when running l4linux-mag
Mon, 18 Apr 2022 23:27:04 +0200
Adam Lackorzynski <[email protected]> • #7669
Re: Creating tasks and the l4_task_map function
Mon, 18 Apr 2022 23:26:03 +0200
Adam Lackorzynski <[email protected]> • #7668
Re: Creating tasks and the l4_task_map function
Tue, 12 Apr 2022 01:09:40 +0200
Paul Boddie <[email protected]> • #7667
Re: Creating tasks and the l4_task_map function
Mon, 11 Apr 2022 01:02:37 +0200
Adam Lackorzynski <[email protected]> • #7666
Creating tasks and the l4_task_map function
Sun, 10 Apr 2022 18:58:10 +0200
Paul Boddie <[email protected]> • #7665
Re: Unresolved page faults when running l4linux-mag
Mon, 21 Mar 2022 00:13:12 +0800
Haohui Mai <[email protected]> • #7664
Re: Unresolved page faults when running l4linux-mag
Sun, 20 Mar 2022 23:56:40 +0800
Haohui Mai <[email protected]> • #7663
Unresolved page faults when running l4linux-mag
Sun, 20 Mar 2022 22:38:34 +0800
Haohui Mai <[email protected]> • #7662
Re: Where is the latest L4Linux repo?
Fri, 04 Mar 2022 08:42:01 +0100
Marcus Hähnel <[email protected]> • #7661
Where is the latest L4Linux repo?
Fri, 4 Mar 2022 14:43:52 +0800
Haohui Mai <[email protected]> • #7660
Re: Unable to boot hello example.
Sat, 5 Feb 2022 11:35:11 +0100
Adam Lackorzynski <[email protected]> • #7659
Unable to boot hello example.
Fri, 4 Feb 2022 04:34:44 -0500
Ashwin Krishnakumar <[email protected]> • #7658
CfP: Microkernel and Component-based OS Devroom at FOSDEM 2022
Mon, 6 Dec 2021 17:02:50 +0100
Martin Decky <[email protected]> • #7657
Re: Basic support for HiKey960 & SMP question
Tue, 5 Oct 2021 14:59:40 +0200
Martin Decky <[email protected]> • #7656
Re: Basic support for HiKey960 & SMP question
Wed, 22 Sep 2021 10:45:17 +0200
Jakub Jermář <[email protected]> • #7655
Re: Basic support for HiKey960 & SMP question
Wed, 22 Sep 2021 08:14:18 +0200
Jakub Jermář <[email protected]> • #7654
Re: Basic support for HiKey960 & SMP question
Tue, 21 Sep 2021 14:47:09 +0000
Martin Decky <[email protected]> • #7653
Re: Basic support for HiKey960 & SMP question
Mon, 20 Sep 2021 19:09:21 +0200
Jakub Jermář <[email protected]> • #7652
Re: Basic support for HiKey960 & SMP question
Mon, 20 Sep 2021 16:44:11 +0000
Martin Decky <[email protected]> • #7651
Re: l4re + rpi4 + mmc + vm + net
Sun, 19 Sep 2021 12:52:02 +0200
Adam Lackorzynski <[email protected]> • #7650
Re: Basic support for HiKey960 & SMP question
Sun, 19 Sep 2021 12:33:49 +0200
Adam Lackorzynski <[email protected]> • #7649
Re: l4re + rpi4 + mmc + vm + net
Sun, 19 Sep 2021 09:51:07 +0200
Matthieu Fatrez <[email protected]> • #7648
l4re + rpi4 + mmc + vm + net
Sat, 18 Sep 2021 16:53:36 +0200
Matthieu Fatrez <[email protected]> • #7647
Basic support for HiKey960 & SMP question
Fri, 17 Sep 2021 13:05:38 +0000
Martin Decky <[email protected]> • #7646
Re: l4re + l4linux on aarch64 - raspi4
Sun, 12 Sep 2021 21:24:42 +0200
Adam Lackorzynski <[email protected]> • #7645
Re: l4re + l4linux on aarch64 - raspi4
Thu, 9 Sep 2021 16:01:18 +0200
Matthieu Fatrez <[email protected]> • #7644
Re: l4re + l4linux on aarch64 - raspi4
Thu, 9 Sep 2021 00:20:32 +0200
Adam Lackorzynski <[email protected]> • #7643
l4re + l4linux on aarch64 - raspi4
Mon, 6 Sep 2021 22:35:25 +0200
Matthieu Fatrez <[email protected]> • #7642
Re: Change in l4re_rm_attach behaviour?
Sat, 28 Aug 2021 11:24:27 +0200
Jakub Jermář <[email protected]> • #7641
Re: Change in l4re_rm_attach behaviour?
Fri, 27 Aug 2021 23:18:47 +0200
Paul Boddie <[email protected]> • #7640
Re: Change in l4re_rm_attach behaviour?
Fri, 27 Aug 2021 09:20:35 +0200
Jakub Jermář <[email protected]> • #7639
Change in l4re_rm_attach behaviour?
Fri, 27 Aug 2021 01:45:54 +0200
Paul Boddie <[email protected]> • #7638
Re: L4Re on Raspi 3
Mon, 21 Jun 2021 00:21:10 +0200
Paul Boddie <[email protected]> • #7637
Re: L4Re on Raspi 3
Sun, 20 Jun 2021 23:42:28 +0200
Adam Lackorzynski <[email protected]> • #7636
Re: L4Re on Raspi 3
Mon, 14 Jun 2021 22:21:50 +0200
Adam Lackorzynski <[email protected]> • #7635
L4Re on Raspi 3
Mon, 14 Jun 2021 13:15:22 +0200
Yanneck Geiger <[email protected]> • #7634
Re: Resource sharing
Sun, 4 Apr 2021 23:36:33 +0200
Adam Lackorzynski <[email protected]> • #7633
Resource sharing
Sun, 4 Apr 2021 12:51:25 +0200
John Galt <[email protected]> • #7632
Re: Build tutorial for the Zynq Ultrascale+
Fri, 2 Apr 2021 01:00:50 +0200
Adam Lackorzynski <[email protected]> • #7631
Build tutorial for the Zynq Ultrascale+
Thu, 1 Apr 2021 22:02:28 +0000
Jorge Miguel Perez Utrera <[email protected]> • #7630
Re: search CPP u-kernel, i knock in the good dors ?
Mon, 22 Mar 2021 00:03:54 +0100
Paul Boddie <[email protected]> • #7629
search CPP u-kernel, i knock in the good dors ?
Sun, 21 Mar 2021 18:36:11 +0100
heitai <[email protected]> • #7628
Invitation: Systems Software Innovations Summit 2021
Wed, 17 Mar 2021 13:04:18 +0000
Martin Decky <[email protected]> • #7627
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Tue, 2 Mar 2021 10:38:07 +0100
Philipp Eppelt <[email protected]> • #7626
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Tue, 02 Mar 2021 00:42:54 +0100
Paul Boddie <[email protected]> • #7625
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Mon, 1 Mar 2021 21:30:11 +0100
Philipp Eppelt <[email protected]> • #7624
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Wed, 24 Feb 2021 22:10:52 +0100
Paul Boddie <[email protected]> • #7623
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Wed, 24 Feb 2021 11:40:15 +0100
Philipp Eppelt <[email protected]> • #7622
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Wed, 24 Feb 2021 01:05:53 +0100
Paul Boddie <[email protected]> • #7621
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Thu, 11 Feb 2021 01:32:58 +0100
Paul Boddie <[email protected]> • #7620
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Wed, 10 Feb 2021 00:29:20 +0100
Paul Boddie <[email protected]> • #7619
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Tue, 9 Feb 2021 13:26:19 +0100
Philipp Eppelt <[email protected]> • #7618
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Tue, 09 Feb 2021 01:20:22 +0100
Paul Boddie <[email protected]> • #7617
Re: L4Re: region mapper/manager concurrency considerations and resource limits
Mon, 8 Feb 2021 08:54:08 +0000
Christian Ludwig <[email protected]> • #7616
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.