From a quick look at Windows 10X build 20279 (fe_release_10x) on 64-bit Arm: No x86(_64) backwards compatibility for UWP apps Which brings us to the… Read More »A look at Windows 10X on Arm

After iBoot, code execution is controlled by us. What should be used as a second stage after that though? One of the constraints is that… Read More »Thoughts on Linux for Apple Silicon Macs: part 2

For this part, one question is paramount, will flattened device tree or ACPI be used? or will Linux on Apple Silicon Macs use Apple device… Read More »Thoughts on Linux for Apple Silicon Macs: part 1

Let’s assume that we are on a platform which actually allows to boot unsigned operating systems. What are the bad things that such a platform… Read More »Disabling boot-time security: lines to not cross

Disclaimer: Note that those builds are provided without any warranty. Feel free to polish the patchset and submit it upstream, I don’t have the time… Read More »Ghidra for Arm 64-bit Linux systems

Interestingly, public materials about the Drawbridge variant used on SQL Server are few and far between. So here is a slide deck about me working… Read More »Drawbridge: what SQL Server on Linux is built on

WebAssembly has been one of the trendiest intermediate representations since a while. However, its definition of safety means preventing breaching the sandbox. Its goal is… Read More »Extent of safety properties in WebAssembly

Linux for Tegra today still ships with a Linux 4.9 kernel version. At https://github.com/OE4T/linux-tegra-4.9, an L4T-derived kernel with patches to build with the most recent… Read More »Linux for Tegra kernel patches

Note: This does not use the experimental UEFI firmware from Nvidia, and relies on the L4T Linux 4.9 kernel. The BSP used is designed for… Read More »Fedora on NVIDIA Jetson with GPU acceleration