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

Assuming that instructions from https://kernelshaman.blogspot.com/2021/01/building-xnu-for-macos-big-sur-1101.html were already followed including for the iPhoneOS target… The patch: The build command line: Of course, without kexts that’s not… Read More »Building Arm 64-bit XNU (Darwin 20)

Tachyum is a CPU startup that claims that they will release a VLIW CPU for general purpose use, a claim has been made countless times.… Read More »Thoughts on Tachyum

For checkra1n, we have some non-trivial requirements for the build infrastructure. One of them is that checkra1n must be buildable on both Linux and macOS… Read More »checkra1n/toolchain: targeting Linux and Windows

The hardened runtime is enforced for all executables bundled as part of macOS. As such, chroot isn’t usable anymore for running a macOS CLI environment.

This post is a followup of the prior State of the GPU compute APIs today post on this blog. Users migrate to newer GPUs, sometimes… Read More »GPU compute APIs: importance of binary compatibility