fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.6K
active users

#coreplatfrom

0 posts0 participants0 posts today
Jose Morales<p>Just catching up on YouTube videos for the evening, when I found this <a href="https://universeodon.com/tags/seL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>seL4</span></a> presentation for <a href="https://universeodon.com/tags/CorePlatfrom" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CorePlatfrom</span></a> and I could not help but notice the parallelism of the concept I talked about this week for <a href="https://universeodon.com/tags/microkernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microkernel</span></a> and <a href="https://universeodon.com/tags/stacks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>stacks</span></a>. I do feel a sense of elegance in the Stack approach I propose. Thoughts? <a href="https://github.com/jemo07/MicroKernelIdeas/blob/main/IPC_Stack_Design.md" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/jemo07/MicroKernelI</span><span class="invisible">deas/blob/main/IPC_Stack_Design.md</span></a></p>