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
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)
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