<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
<!-- MHonArc v2.6.19+ -->
  <channel>
    <title>l4-hackers</title>
    <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de</link>
    <description>l4-hackers @ os.inf.tu-dresden</description>
    <pubDate>Sun, 12 Jul 2026 21:12:19 GMT</pubDate>
    <lastBuildDate>Sun, 12 Jul 2026 21:12:19 GMT</lastBuildDate>
    <docs>http://blogs.law.harvard.edu/tech/rss</docs>
    <generator>MHonArc RSS 2.0 RCFile</generator>
    <webMaster>themailarchive@gmail.com (The Mail Archive)</webMaster>
    <image>
       <title>The Mail Archive</title>
       <url>http://www.mail-archive.com/nanologo.png</url>
       <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de</link>
    </image>
 
    <item>
      <title>Re: Question regarding planned features and major updates</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08729.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/07/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sun, 12 Jul 2026 21:12:16 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08729.html</guid>
   </item>
    <item>
      <title>Question regarding planned features and major updates</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08728.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/07/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Sun, 12 Jul 2026 20:53:28 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08728.html</guid>
   </item>
    <item>
      <title>Re: Comprehension question: vcpu vs extended vcpu</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08727.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/06/01&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Mon, 01 Jun 2026 13:19:37 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08727.html</guid>
   </item>
    <item>
      <title>NOVA multitasking</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08726.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/05/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Nate via l4-hackers%22&quot;&gt;Nate via l4-hackers&lt;/a&gt;</description>
      <pubDate>Sun, 31 May 2026 07:16:22 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08726.html</guid>
   </item>
    <item>
      <title>Re: Comprehension question: vcpu vs extended vcpu</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08725.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/05/29&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Fri, 29 May 2026 20:57:39 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08725.html</guid>
   </item>
    <item>
      <title>Comprehension question: vcpu vs extended vcpu</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08724.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/05/29&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Fri, 29 May 2026 20:34:00 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08724.html</guid>
   </item>
    <item>
      <title>Re: Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08723.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/05/14&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22stephen.yang%22&quot;&gt;stephen.yang&lt;/a&gt;</description>
      <pubDate>Thu, 14 May 2026 14:11:30 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08723.html</guid>
   </item>
    <item>
      <title>Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08722.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/05/04&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Mon, 04 May 2026 04:55:43 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08722.html</guid>
   </item>
    <item>
      <title>Re:Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08721.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/05/04&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22stephen.yang%22&quot;&gt;stephen.yang&lt;/a&gt;</description>
      <pubDate>Mon, 04 May 2026 04:55:35 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08721.html</guid>
   </item>
    <item>
      <title>Re:Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08720.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/04/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22stephen.yang%22&quot;&gt;stephen.yang&lt;/a&gt;</description>
      <pubDate>Wed, 22 Apr 2026 05:02:13 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08720.html</guid>
   </item>
    <item>
      <title>Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08719.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/04/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Wed, 22 Apr 2026 05:02:08 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08719.html</guid>
   </item>
    <item>
      <title>Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08718.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/04/15&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Wed, 15 Apr 2026 11:40:19 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08718.html</guid>
   </item>
    <item>
      <title>Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08717.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/04/15&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22stephen.yang%22&quot;&gt;stephen.yang&lt;/a&gt;</description>
      <pubDate>Wed, 15 Apr 2026 11:30:03 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08717.html</guid>
   </item>
    <item>
      <title>Re: Mounting the Sd card on the L4re for Imx 95.</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08716.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/02/08&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sun, 08 Feb 2026 22:47:55 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08716.html</guid>
   </item>
    <item>
      <title>Beyond the Bricks: How Google's Block Breaker Doodle Reminds Us of the Joy of Play</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08715.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/02/06&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22blockbreakerapk10174%22&quot;&gt;blockbreakerapk10174&lt;/a&gt;</description>
      <pubDate>Fri, 06 Feb 2026 21:17:57 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08715.html</guid>
   </item>
    <item>
      <title>Re: VMs on L4Re</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08714.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/01/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Quang%22&quot;&gt;Quang&lt;/a&gt;</description>
      <pubDate>Fri, 16 Jan 2026 15:59:53 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08714.html</guid>
   </item>
    <item>
      <title>Mounting the Sd card on the L4re for Imx 95.</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08713.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/01/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marka Sriharsha%22&quot;&gt;Marka Sriharsha&lt;/a&gt;</description>
      <pubDate>Fri, 16 Jan 2026 08:20:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08713.html</guid>
   </item>
    <item>
      <title>Re: VMs on L4Re</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08712.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/01/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Fri, 16 Jan 2026 07:55:41 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08712.html</guid>
   </item>
    <item>
      <title>VMs on L4Re</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08711.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2026/01/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Quang%22&quot;&gt;Quang&lt;/a&gt;</description>
      <pubDate>Fri, 16 Jan 2026 07:54:46 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08711.html</guid>
   </item>
    <item>
      <title>Re: custom virtio</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08710.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/12/25&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Thu, 25 Dec 2025 23:59:18 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08710.html</guid>
   </item>
    <item>
      <title>custom virtio</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08709.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/12/24&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Baruch Burstein%22&quot;&gt;Baruch Burstein&lt;/a&gt;</description>
      <pubDate>Wed, 24 Dec 2025 23:43:12 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08709.html</guid>
   </item>
    <item>
      <title>Re: Multiple targets in one package</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08708.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/12/03&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Wed, 03 Dec 2025 21:04:29 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08708.html</guid>
   </item>
    <item>
      <title>Multiple targets in one package</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08707.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/12/03&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Baruch Burstein%22&quot;&gt;Baruch Burstein&lt;/a&gt;</description>
      <pubDate>Wed, 03 Dec 2025 20:53:06 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08707.html</guid>
   </item>
    <item>
      <title>Sculpt 25.10 with Fiasco.OC kernel</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08706.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/11/03&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Alexander Boettcher%22&quot;&gt;Alexander Boettcher&lt;/a&gt;</description>
      <pubDate>Mon, 03 Nov 2025 14:40:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08706.html</guid>
   </item>
    <item>
      <title>Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08705.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/10/18&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sat, 18 Oct 2025 11:50:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08705.html</guid>
   </item>
    <item>
      <title>Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08704.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/10/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Fri, 17 Oct 2025 20:59:23 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08704.html</guid>
   </item>
    <item>
      <title>Re:Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08703.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/10/13&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22yy18513676366%22&quot;&gt;yy18513676366&lt;/a&gt;</description>
      <pubDate>Mon, 13 Oct 2025 04:09:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08703.html</guid>
   </item>
    <item>
      <title>Questions regarding L4::Platform_Control</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08702.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/10/13&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Mon, 13 Oct 2025 02:50:41 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08702.html</guid>
   </item>
    <item>
      <title>Re:Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08701.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/10/02&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22yy18513676366%22&quot;&gt;yy18513676366&lt;/a&gt;</description>
      <pubDate>Thu, 02 Oct 2025 05:04:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08701.html</guid>
   </item>
    <item>
      <title>Re:Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08700.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/30&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22yy18513676366%22&quot;&gt;yy18513676366&lt;/a&gt;</description>
      <pubDate>Tue, 30 Sep 2025 13:17:15 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08700.html</guid>
   </item>
    <item>
      <title>Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08699.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/30&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Tue, 30 Sep 2025 07:51:53 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08699.html</guid>
   </item>
    <item>
      <title>Re: Assertion ¡®state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08698.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/28&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sun, 28 Sep 2025 16:13:28 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08698.html</guid>
   </item>
    <item>
      <title>Re: L4 Thread, pthread, comprehension question</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08697.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Tue, 23 Sep 2025 02:37:01 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08697.html</guid>
   </item>
    <item>
      <title>Re: L4 Thread, pthread, comprehension question</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08696.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Tue, 23 Sep 2025 02:31:39 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08696.html</guid>
   </item>
    <item>
      <title>Re: L4 Thread, pthread, comprehension question</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08695.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Haehnel%22&quot;&gt;Marcus Haehnel&lt;/a&gt;</description>
      <pubDate>Mon, 22 Sep 2025 22:17:54 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08695.html</guid>
   </item>
    <item>
      <title>Re: L4 Thread, pthread, comprehension question</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08694.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Mon, 22 Sep 2025 15:28:57 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08694.html</guid>
   </item>
    <item>
      <title>Re: L4 Thread, pthread, comprehension question</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08693.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22David Q%22&quot;&gt;David Q&lt;/a&gt;</description>
      <pubDate>Mon, 22 Sep 2025 03:59:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08693.html</guid>
   </item>
    <item>
      <title>L4 Thread, pthread, comprehension question</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08692.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22xudino%22&quot;&gt;xudino&lt;/a&gt;</description>
      <pubDate>Mon, 22 Sep 2025 03:38:47 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08692.html</guid>
   </item>
    <item>
      <title>Assertion ‘state() &amp; Thread_vcpu_user' in kernel vgic interrupt processing</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08691.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22yy18513676366%22&quot;&gt;yy18513676366&lt;/a&gt;</description>
      <pubDate>Wed, 17 Sep 2025 09:55:22 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08691.html</guid>
   </item>
    <item>
      <title>Re: Help: interactive REPL I/O for user program on L4Re/Fiasco.OC (amd64-plain) — Vcon/cons nearly working; canonical approach?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08690.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/07&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22R.A. James%22&quot;&gt;R.A. James&lt;/a&gt;</description>
      <pubDate>Sun, 07 Sep 2025 13:05:24 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08690.html</guid>
   </item>
    <item>
      <title>Help: interactive REPL I/O for user program on L4Re/Fiasco.OC (amd64-plain) — Vcon/cons nearly working; canonical approach?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08689.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/09/07&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Robert A. James%22&quot;&gt;Robert A. James&lt;/a&gt;</description>
      <pubDate>Sun, 07 Sep 2025 10:40:46 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08689.html</guid>
   </item>
    <item>
      <title>Re: Question about SMC filtering in smc_user.cpp on ARM64</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08688.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/25&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Fri, 25 Jul 2025 21:28:10 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08688.html</guid>
   </item>
    <item>
      <title>Question about SMC filtering in smc_user.cpp on ARM64</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08687.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/24&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Gravel Yuan%22&quot;&gt;Gravel Yuan&lt;/a&gt;</description>
      <pubDate>Thu, 24 Jul 2025 08:52:37 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08687.html</guid>
   </item>
    <item>
      <title>Re: L4Re: MIPS SMP cache initialisation may be broken for some CPUs</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08686.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Sun, 20 Jul 2025 21:26:07 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08686.html</guid>
   </item>
    <item>
      <title>Re: L4Re: MIPS SMP cache initialisation may be broken for some CPUs</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08685.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sun, 20 Jul 2025 19:43:59 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08685.html</guid>
   </item>
    <item>
      <title>Re: Subject: Introduction – StarshipOS: A gForth/JVM Hybrid on L4Re</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08684.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Sat, 12 Jul 2025 22:52:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08684.html</guid>
   </item>
    <item>
      <title> Subject: Introduction – StarshipOS: A gForth/JVM Hybrid on L4Re</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08683.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Robert James%22&quot;&gt;Robert James&lt;/a&gt;</description>
      <pubDate>Wed, 09 Jul 2025 12:59:03 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08683.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08682.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Mon, 23 Jun 2025 14:55:20 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08682.html</guid>
   </item>
    <item>
      <title>Re: L4Re: Why was EXTERN_C_BEGIN/END replaced?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08681.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Haehnel%22&quot;&gt;Marcus Haehnel&lt;/a&gt;</description>
      <pubDate>Mon, 23 Jun 2025 14:55:16 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08681.html</guid>
   </item>
    <item>
      <title>L4Re: MIPS SMP cache initialisation may be broken for some CPUs</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08680.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Sun, 22 Jun 2025 23:02:18 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08680.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08679.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sun, 22 Jun 2025 08:46:10 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08679.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08678.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Moshe Kravchik%22&quot;&gt;Moshe Kravchik&lt;/a&gt;</description>
      <pubDate>Mon, 16 Jun 2025 06:19:35 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08678.html</guid>
   </item>
    <item>
      <title>Re: Issue Rebooting Guest OS in UVMM: Invalid Capability Invoke</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08677.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Philipp Eppelt%22&quot;&gt;Philipp Eppelt&lt;/a&gt;</description>
      <pubDate>Thu, 12 Jun 2025 08:01:37 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08677.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08676.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Moshe Kravchik%22&quot;&gt;Moshe Kravchik&lt;/a&gt;</description>
      <pubDate>Thu, 12 Jun 2025 04:44:13 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08676.html</guid>
   </item>
    <item>
      <title>Re: Issue Rebooting Guest OS in UVMM: Invalid Capability Invoke</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08675.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/11&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Philipp Eppelt%22&quot;&gt;Philipp Eppelt&lt;/a&gt;</description>
      <pubDate>Wed, 11 Jun 2025 10:01:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08675.html</guid>
   </item>
    <item>
      <title>Issue Rebooting Guest OS in UVMM: Invalid Capability Invoke</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08674.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/10&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22yy18513676366%22&quot;&gt;yy18513676366&lt;/a&gt;</description>
      <pubDate>Tue, 10 Jun 2025 12:14:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08674.html</guid>
   </item>
    <item>
      <title>Re: L4Re: MIPS syncICache seems to be broken</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08673.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Mon, 09 Jun 2025 20:47:49 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08673.html</guid>
   </item>
    <item>
      <title>Re: L4Re: MIPS syncICache seems to be broken</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08672.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Mon, 09 Jun 2025 20:34:30 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08672.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08671.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Mon, 09 Jun 2025 20:13:29 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08671.html</guid>
   </item>
    <item>
      <title>L4Re: MIPS syncICache seems to be broken</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08670.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/07&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Sat, 07 Jun 2025 22:36:50 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08670.html</guid>
   </item>
    <item>
      <title>RE: Can't tcp into VM?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08669.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/05&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Richard Clark%22&quot;&gt;Richard Clark&lt;/a&gt;</description>
      <pubDate>Thu, 05 Jun 2025 15:50:38 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08669.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08668.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/05&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Moshe Kravchik%22&quot;&gt;Moshe Kravchik&lt;/a&gt;</description>
      <pubDate>Thu, 05 Jun 2025 08:49:40 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08668.html</guid>
   </item>
    <item>
      <title>Re: Can't tcp into VM?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08667.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/04&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Wed, 04 Jun 2025 20:51:13 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08667.html</guid>
   </item>
    <item>
      <title>Can't tcp into VM?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08666.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/06/02&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Richard Clark%22&quot;&gt;Richard Clark&lt;/a&gt;</description>
      <pubDate>Mon, 02 Jun 2025 20:55:32 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08666.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08665.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Sat, 31 May 2025 15:39:06 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08665.html</guid>
   </item>
    <item>
      <title>Re: Real time application</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08664.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/28&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22agaku03%22&quot;&gt;agaku03&lt;/a&gt;</description>
      <pubDate>Wed, 28 May 2025 07:37:13 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08664.html</guid>
   </item>
    <item>
      <title>Re: Linux fails on startup looking for SMC</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08663.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/26&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Moshe Kravchik%22&quot;&gt;Moshe Kravchik&lt;/a&gt;</description>
      <pubDate>Mon, 26 May 2025 08:50:42 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08663.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot [SOLVED]</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08662.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Tianhao Wang via l4-hackers%22&quot;&gt;Tianhao Wang via l4-hackers&lt;/a&gt;</description>
      <pubDate>Thu, 22 May 2025 14:30:38 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08662.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08661.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Thu, 22 May 2025 14:18:15 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08661.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08660.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Tianhao Wang via l4-hackers%22&quot;&gt;Tianhao Wang via l4-hackers&lt;/a&gt;</description>
      <pubDate>Thu, 22 May 2025 14:03:48 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08660.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08659.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Thu, 22 May 2025 13:51:55 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08659.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08658.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Tianhao Wang via l4-hackers%22&quot;&gt;Tianhao Wang via l4-hackers&lt;/a&gt;</description>
      <pubDate>Thu, 22 May 2025 13:31:40 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08658.html</guid>
   </item>
    <item>
      <title>RE: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08657.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Richard Clark%22&quot;&gt;Richard Clark&lt;/a&gt;</description>
      <pubDate>Wed, 21 May 2025 21:09:37 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08657.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08656.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Wed, 21 May 2025 19:02:41 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08656.html</guid>
   </item>
    <item>
      <title>Re: fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08655.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Wed, 21 May 2025 08:01:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08655.html</guid>
   </item>
    <item>
      <title>fail to build package with l4re snapshot</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08654.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Tianhao Wang via l4-hackers%22&quot;&gt;Tianhao Wang via l4-hackers&lt;/a&gt;</description>
      <pubDate>Tue, 20 May 2025 17:07:08 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08654.html</guid>
   </item>
    <item>
      <title>RE: lwip/virtio-net examples?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08653.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Richard Clark%22&quot;&gt;Richard Clark&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 23:52:59 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08653.html</guid>
   </item>
    <item>
      <title>Re: lwip/virtio-net examples?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08652.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 20:44:09 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08652.html</guid>
   </item>
    <item>
      <title>Re: L4Re: Why was EXTERN_C_BEGIN/END replaced?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08651.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 20:35:50 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08651.html</guid>
   </item>
    <item>
      <title>Re: Real time application</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08650.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 20:28:52 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08650.html</guid>
   </item>
    <item>
      <title>Re: Yocto and Buildroot (was Re: l4-hackers Digest, Vol 246, Issue 9)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08649.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 17:20:14 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08649.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08648.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 16:23:24 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08648.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08647.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 16:23:23 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08647.html</guid>
   </item>
    <item>
      <title>Re: Yocto and Buildroot (was Re: l4-hackers Digest, Vol 246, Issue 9)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08646.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Torsten Wierschin%22&quot;&gt;Torsten Wierschin&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 15:56:42 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08646.html</guid>
   </item>
    <item>
      <title>Yocto and Buildroot (was Re: l4-hackers Digest, Vol 246, Issue 9)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08645.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 13:22:10 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08645.html</guid>
   </item>
    <item>
      <title>Re: l4-hackers Digest, Vol 246, Issue 9</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08644.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Torsten Wierschin%22&quot;&gt;Torsten Wierschin&lt;/a&gt;</description>
      <pubDate>Mon, 19 May 2025 06:21:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08644.html</guid>
   </item>
    <item>
      <title>L4Re: Why was EXTERN_C_BEGIN/END replaced?</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08643.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Sat, 17 May 2025 21:58:19 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08643.html</guid>
   </item>
    <item>
      <title>Re: Real time application</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08642.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22agaku03%22&quot;&gt;agaku03&lt;/a&gt;</description>
      <pubDate>Fri, 16 May 2025 13:50:59 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08642.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08641.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Fri, 16 May 2025 13:33:33 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08641.html</guid>
   </item>
    <item>
      <title>Re: Real time application</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08640.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Fri, 16 May 2025 05:00:30 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08640.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08639.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/15&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Eugeniy Kozhanov%22&quot;&gt;Eugeniy Kozhanov&lt;/a&gt;</description>
      <pubDate>Thu, 15 May 2025 11:07:02 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08639.html</guid>
   </item>
    <item>
      <title>RE: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08638.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/14&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Richard Clark%22&quot;&gt;Richard Clark&lt;/a&gt;</description>
      <pubDate>Wed, 14 May 2025 22:34:45 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08638.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08637.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/14&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Wed, 14 May 2025 20:07:50 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08637.html</guid>
   </item>
    <item>
      <title>Re: Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08636.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/14&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Wed, 14 May 2025 15:38:07 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08636.html</guid>
   </item>
    <item>
      <title>Configuration, component and repository versioning (was Re: Upgrade issues. VM won't start.)</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08635.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Paul Boddie%22&quot;&gt;Paul Boddie&lt;/a&gt;</description>
      <pubDate>Mon, 12 May 2025 20:46:25 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08635.html</guid>
   </item>
    <item>
      <title>Re: Real time application</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08634.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22agaku03%22&quot;&gt;agaku03&lt;/a&gt;</description>
      <pubDate>Mon, 12 May 2025 14:43:01 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08634.html</guid>
   </item>
    <item>
      <title>Re: Upgrade issues. VM won't start.</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08633.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Marcus Hähnel%22&quot;&gt;Marcus Hähnel&lt;/a&gt;</description>
      <pubDate>Mon, 12 May 2025 13:44:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08633.html</guid>
   </item>
    <item>
      <title>Re: Real time application</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08632.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22agaku03%22&quot;&gt;agaku03&lt;/a&gt;</description>
      <pubDate>Mon, 12 May 2025 06:13:57 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08632.html</guid>
   </item>
    <item>
      <title>Re: Upgrade issues. VM won't start.</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08631.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Adam Lackorzynski%22&quot;&gt;Adam Lackorzynski&lt;/a&gt;</description>
      <pubDate>Fri, 09 May 2025 18:33:42 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08631.html</guid>
   </item>
    <item>
      <title>Re: Upgrade issues. VM won't start.</title>
      <link>http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08630.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/05/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=l4-hackers@os.inf.tu-dresden.de&amp;q=from:%22Matthias Lange%22&quot;&gt;Matthias Lange&lt;/a&gt;</description>
      <pubDate>Fri, 09 May 2025 16:58:27 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg08630.html</guid>
   </item>
 
  </channel>
  </rss>
<!-- MHonArc v2.6.19+ -->
