Use your browser's monospace font for message body text in Gmail

Adding support for the Rust language to the Linux kernel.

OCI Runtime Specification

Example programs from "The Go Programming Language"

8️⃣ systemd source-git for RHEL8

Rocky Linux is a community enterprise Operating System designed to be 100% bug-for-bug compatible with Enterprise Linux created in response to the effective discontinuation of CentOS.

Various Linux kernel changes

Data Plane Development Kit

A unified tool for collecting system logs and other debug information

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Linux kernel source tree

A little bit about a linux kernel

EDK II sample platform branches and tags

Full history of Linux created by Yoann Padioleau and Rob Landley. See the wiki for usage instructions.

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …

Trusted side of the TEE

Issue tracking for the ARM Trusted Firmware project

Read-only mirror of Trusted Firmware-A

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

This repository hosts the documentation for 96Boards products and specifications.

Helpful resources for users & developers of Linux kernel for ARC

"Das U-Boot" Source Tree

A flexible Python 2/3 Kconfig implementation and library

The official Linux kernel from Xilinx

precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes

Linux kernel source tree

The quickest way to start and publish your Jekyll powered blog. 100% compatible with GitHub pages.