@ramonita @thepoliticalcat Quite right.

This is also a consequence that flows from the (memory unsafe) monolithic kernel model. If the drivers were individual #microkernel servers, it would be entirely possible to deny it access to anything other than the #GPU hardware memory and calling interfaces for the display server (or whatever else) to use the driver.

No network, no nothing.

#QubesOS's GUIVM would have the same benefits if one were to use the proprietary drivers in it.

::: System76 developers have managed to DISABLE Intel ME? (A backdoor) 🗝️

It is recently claimed that System76's Coreboot open firmware manages now to disable Intel ME for Raptor Lake processor.

Are they on to something bigger towards the realm away from Intel's "Big Brother" practices?

This could be huge in near future! What do YOU think?

=> https://blog.system76.com/post/major-updates-for-system76-open-firmware-june-2023

#System76 #Coreboot #Intel #ME #IntelME #privacy #backdoor #microkernel #microcontroller #Linux #CPU #processor

::: System76 developers have managed to DISABLE Intel ME? (A backdoor) :popos:

It is recently claimed that System76's Coreboot open firmware manages now to disable Intel ME for Raptor Lake processor.

Are they on to something bigger towards the realm away from Intel's "Big Brother" practices?

This could be huge in near future! What do YOU think?

=> https://blog.system76.com/post/major-updates-for-system76-open-firmware-june-2023

#System76 #Coreboot #Intel #ME #IntelME #privacy #backdoor #microkernel #microcontroller #Linux #CPU #processor

::: System76 developers have managed to DISABLE Intel ME? (A backdoor) :popos:

It is recently claimed that System76's Coreboot open firmware manages now to disable Intel ME for Raptor Lake.

Are they on to something bigger towards the realm away from Intel's "Big Brother" practices?

This could be huge in near future! What do YOU think?

=> https://blog.system76.com/post/major-updates-for-system76-open-firmware-june-2023

#System76 #Coreboot #Intel #ME #IntelME #privacy #backdoor #microkernel #microcontroller #Linux #CPU

That #microkernel dude is now a member of #leopoldina . Congratulations.

The discovery of #exynos #baseband vulnerability shouldn't have been taken as endorsement of #iOS or security through obscurity by some. The basebands themselves, including iphones', are closed source obscurity, after all. It should instead be taken as endorsement of #purism #librem approach in separating basebands from SoC; and maybe pile on #microkernel design.

Too bad purism is suffering from accruing supply chain, project management, and budgeting problems.

@Reiddragon @ezio Yeah, agreed on the no-GPU inconvenience as well.

And yes. #Microkernel-style or #QubesOS style. #Qubes uses VMs to do basically the same thing (and since it uses Linux VMs by default, there's much less hardware support problem https://www.qubes-os.org/faq/#why-does-qubes-use-virtualization).

For example it means a pwn'd network driver with kernelspace RCE won't allow for complete takeover of your system (https://www.qubes-os.org/faq/#why-is-vt-damd-viamd-iommu-important).

Interested in what is happening in the microkernel OS landscape in 2023? Here are the slides from my @fosdem talk: https://fosdem.org/2023/schedule/event/microkernel2023/attachments/slides/5837/export/events/attachments/microkernel2023/slides/5837/2023_02_05_Decky_Microkernel_Landscape_2023.pdf #fosdem #fosdem23 #microkernel #devroom

The slides for my talk tomorrow are almost done :) Let's have an overview of what is happening in the microkernel world in 2023. Sunday 9:00 a.m. UTC+1 in H.1308 (Rolin), also streaming on-line. https://fosdem.org/2023/schedule/event/microkernel2023/ @fosdem #fosdem #fosdem23 #microkernel #devroom

"Release Notes for HelenOS 0.12.1
— Helenos
#HelenOS #Microkernel #OS
http://www.helenos.org/wiki/ReleaseNotes/0.12.1?utm_source=pocket_mylist

Hallo Fediverse! Da auf der anderen Plattform der Absolutismus um sich greift, schaue ich mich mal hier bei den Föderierten um. Hier soll es um #Cybersicherheit gehen und mit welchen Technologien wir die IT von morgen deutlich widerstandsfähiger machen. Aktuell schaue ich mir formale Verifikation und allgemeiner isolierende Mikrokerne an. Da gibt es viel zu gewinnen. #formalVerification #microkernel

@picasoft

Avez-vous entendu parler du framework Genode OS qui, par une approche sécurité (on spécialise l'OS en n'utilisant que le code utile à ce que l'on veut faire) réduit drastiquement la surface de code exécutée au runtime ce qui laisse supposer de meilleures performances et un code optimisé (à l'inverse du bloatware où on empile les stacks)
#microkernel #rumpkernel

We're taking the @RTThread Community Dev Board PersimmonPi M7 as an example to get the LVGL #GUI running on the RT-Smart #Microkernel OS, tutorials on https://club.rt-thread.io/ask/question/129.html

#opensource #IoT #embedded #embeddedsystems

New Genode OS release 22.11 just came out and once again the @genode team has worked on many impressive things:
their GPU/graphics multiplexer now supports Intel Xe (GEN12+) hardware and they now have a hardware/software co-design workflow on Xilinx Zynq boards.
Release announcement:
https://genode.org/news/genode-os-framework-release-22.11
Full release documentation:
https://genode.org/documentation/release-notes/22.11

#Genode #Microkernel #Opensource

a quick look into the recent release of #redoxos, a rapidly evolving #microkernel #operatingsystem written by @soller et al. in the memory-safe programming language #rust

https://youtu.be/M9YZQrBy6gE

btw it went beyond #unix "everything is a file" approach by actually implementing url: https://doc.redox-os.org/book/ch04-04-urls.html – #redox #rustlang

a quick look into the recent release of #redoxos, a rapidly evolving #microkernel #operatingsystem written by @soller et al. in the memory-safe programming language #rust

https://youtu.be/M9YZQrBy6gE

btw it went beyond #unix "everything is a file" approach by actually implementing url: https://doc.redox-os.org/book/ch04-04-urls.html – #redox #rustlang

#Redox is a Unix-like Operating System written in #Rust, aiming to bring the innovations of Rust to a modern #microkernel and full set of applications.

Website
https://www.redox-os.org/

Source
https://gitlab.redox-os.org/redox-os/redox/

HelenOS - the new kid on the block.

https://github.com/HelenOS/helenos

#microkernel #OS

HelenOS - the new kid on the block.

https://github.com/HelenOS/helenos

#microkernel #OS

@ShadowJonathan #WASI FTW. Unless #KVM / #MicroKernel. Haven’t done anything with either yet myself, but will need to very soon for work (and bc both are awesome). For me I just need a sandbox that isn’t Docker sized (because embedded) and has flexible socket options.