Christian Mayer
cnx-software.comGyroidOS virtualization solution aims to secure embedded devices, ease cybersecurity certification
GyroidOS virtualization solution aims to secure embedded devices, ease cybersecurity certification
Designed by Fraunhofer AISEC, GyroidOS is an open-source, multi-arch OS-level virtualization solution designed for embedded devices with hardware security features, and aiming to support security certification processes such as Common Criteria (ISO/IEC 15408), DIN SPEC 27070 - IDS Trust Security profile, and IEC-62443 cybersecurity standards. The virtualization layer is based on Linux-specific features like namespaces, cgroups, and capabilities to provide isolation of different guest operating system stacks on top of a single, shared Linux kernel. It offers a much smaller footprint and additional separation of privileged instances compared to other container solutions, such as Docker. GyroidOS security features Container isolation based on a modularized OS-level virtualization layer Secure boot (e.g., UEFI on x86) Kernel module signing Signed GuestOSes (containers) Measured boot and remote attestation Full disk encryption coupled to TPM and secure boot Restriction of superuser in containers with Linux capabilities Fine-grained device access with device cgroups whitelists Secure Element
Olly 👾Crouching Typewriter, hidden PC.
Go back a couple of generations, and rather than a laptop or a luggable, the office accessory of choice was a portable typewriter. As the 20th century wore on, the typewriter became electric before eventually being eclipsed by luggable and laptop computers. On YouTube, [Prototype] is turning back the clock, by turning an old Smith-Corona electric typewriter into a luggable computer — with a stretch goal of still being able to type.
#typewriter #x86 #gaming #pc #diy #engineering #artist #media #tech #maker #news
https://purl.org/rzr#https://mastodon.social/@jdelacueva/116103089304791787#
Is there any public group taking care of #Eu #DigitalSovereignty (for what ever it means ?)
Is it part of #CRA requirements ?
I have similar concerns regarding #MsMonopoly on #SecureBoot for #x86 #Computers (#PCs and #Servers).
Are anti concurrency practices also a model threat to you ?
Lot of questions, few answers so far, only implementations with mixed feelings..
Inputs welcome anyway
Hacker NewsThe Evolution of x86 SIMD: From SSE to AVX-512
https://bgslabs.org/blog/evolution-of-x86-simd/
#HackerNews #x86 #SIMD #SSE #AVX512 #technology #evolution #programming
Michael EngelA question for the Linux greybeards... I used ibcs2 extensively with 1.x and 2.{0,2,4} kernels in the '90s to run SCO Unix binaries. As far as I know, there never was official support for ibcs2 in 2.6-series kernels or later, so I might be stuck with 2.4.
So, which version is the latest ibcs2 for Linux? The latest version I could find is ibcs-2.1-981105.tar.gz on NTNU's tsx-11 mirror (https://ftp.nvg.ntnu.no/pub/mirrors/tsx-11.mit.edu/tsx-11/BETA/ibcs2/) - does anyone know a more recent one?
cichlidenfreundFalls jemand gute Vorträge über #Programmierung in #C oder #x86 #Assembler sucht nebst Einführung von #CPU Architektur, empfehle ich die Videos von
www.youtube.com/@thomas_smits
www.youtube.com/@thomas_smits
Vito Sartori (ヴィト) 🦊Just wrote a little something after staring at 40k lines of #x86 #Assembly for a couple of weeks.
https://vito.io/articles/2026-02-15-this-is-not-rle
Reverse-engineered a weird internal #Microsoft image format for a side-project. More on that soon. :P
रञ्जित (Ranjit Mathew)Informative:
“How Many Registers Does An x86-64 CPU Have?” [2020], William Woodruff (https://blog.yossarian.net/2020/11/30/How-many-registers-does-an-x86-64-cpu-have).
