<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> <span class="h-card" translate="no"><a href="https://oldbytes.space/@millihertz" class="u-url mention">@<span>millihertz</span></a></span> <span class="h-card" translate="no"><a href="https://tech.lgbt/@becomethewaifu" class="u-url mention">@<span>becomethewaifu</span></a></span> This is the closest you can get (to my knowledge) to a true antikernel system with zero privileged code (i.e. the initial setup is done by an rtl state machine) with currently extant silicon, unless you use a softcore CPU which is sloooow</p>

<p>I finally wrote an article about the last <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="tag">#<span>MirageOS</span></a> retreat (<a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="tag">#<span>OCaml</span></a>). It&#39;s available here: <a href="https://blog.osau.re/articles/last_mirageos_retreat.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">blog.osau.re/articles/last_mir</span><span class="invisible">ageos_retreat.html</span></a> Enjoy reading!</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.gamedev.place/@lritter" class="u-url mention">@<span>lritter</span></a></span> obviously if you&#39;re a witch/wizard you don&#39;t need a magic button to do magic</p>

<p>ironic that we live in a time where everybody owns a computer with a mandatory button that spawns a supposed &quot;magical genie&quot;, except for computer witches &amp; wizards who specifically do *not* have such a button anywhere, nor do they wish to have one</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> <span class="h-card" translate="no"><a href="https://oldbytes.space/@millihertz" class="u-url mention">@<span>millihertz</span></a></span> <span class="h-card" translate="no"><a href="https://tech.lgbt/@becomethewaifu" class="u-url mention">@<span>becomethewaifu</span></a></span> this is where we take advantage of the fact that the the PL has an axi port that allows fabric to talk to hard IP on the PS side.</p><p>and I *think* (if this doesn&#39;t work, it&#39;s 100% definitely doable over EMIO JTAG but that would make it even more cursed) you can access CoreSight APB registers on the PS side from PL this way.</p><p>So you make an RTL context switcher module that periodically halts the A9, serializes its registers out to block RAM, loads a new context, loads a new page table, flushes caches etc as needed, then resumes execution.</p><p>Boom, hardware threading with no kernel mode software.</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> <span class="h-card" translate="no"><a href="https://oldbytes.space/@millihertz" class="u-url mention">@<span>millihertz</span></a></span> <span class="h-card" translate="no"><a href="https://tech.lgbt/@becomethewaifu" class="u-url mention">@<span>becomethewaifu</span></a></span> the basic idea is, you run a tiny trusted loader stub that creates a page table with maps for a subset of the RAM and one axi interface to PL, sets the interrupt vector table to an unmapped address, disables interrupts, and drops to userspace.</p><p>Now you&#39;re stuck running your application in a &quot;padded cell&quot; with no access to the outside world except a single mailbox channel via that axi interface to the PL (most notably, no access to other hard peripherals or the DRP).</p><p>And it&#39;s locked in userspace with no way to ever get back into kernel mode (since there&#39;s no interrupts and even if you did manage to trigger one you&#39;d just hard fault with a bad vector table)</p><p>So great, you have an isolated application security domain, but how do you do threading?</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> <span class="h-card" translate="no"><a href="https://oldbytes.space/@millihertz" class="u-url mention">@<span>millihertz</span></a></span> <span class="h-card" translate="no"><a href="https://tech.lgbt/@becomethewaifu" class="u-url mention">@<span>becomethewaifu</span></a></span> i mean have you heard about my truly cursed idea for running antikernel on a zynq?</p><p>I&#39;ve been too busy to actually attempt implementing it but i think it would work</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span></p><p>For me it&#39;s absolutly fine and ok. GOG&#39;s approach DRM-free is very important so i support GOG gladly with some additional money🙂</p><p>They deserve it IMHO.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>whitequark</span></a></span> </p><p>Take care of yourself and rest easy. Please.</p>