The Linux kernel source tree is core system software tailored specifically for Rockchip processor architectures and embedded hardware boards. It manages hardware resources, processor execution contexts, memory allocation, and process scheduling for custom computing platforms. The project provides low-level hardware abstraction, initialization routines, and a collection of kernel modules designed to control integrated silicon components, storage, and networking hardware. The codebase incorporates hierarchical data structures to describe physical board layouts, memory maps, and peripheral conne
Kernel is an educational hobby operating system and low-level systems programming project written in Rust. Designed for students and hobbyists, the project provides a minimalist environment to explore computer architecture, CPU design, and kernel development directly on hardware without relying on a standard library or underlying operating system. The implementation features a freestanding language runtime and a custom target specification that replaces standard library components for bare-metal execution. It includes a multiboot bootloader interface to parse early-boot hardware handoff stat
This project provides a development framework for writing loadable Linux kernel modules using the Rust programming language. It establishes a methodology for safe systems programming by enforcing memory and thread safety within the restricted execution environment of the kernel, allowing developers to extend operating system functionality while preventing common memory corruption errors. The framework distinguishes itself through automated generation of type-safe foreign function interfaces, which bridge high-level code with low-level kernel headers and system structures. It maps high-level s
Limine is a multiprotocol operating system bootloader that bridges low-level hardware initialization and system software across legacy BIOS and modern UEFI firmware environments. It executes directly on bare-metal hardware without an underlying operating system kernel or standard C library, parsing storage media and filesystems during the early boot sequence before OS drivers load. The software targets diverse processor architectures including x86, ARM, RISC-V, and LoongArch through discrete target binaries built from shared source code. It reads files directly from FAT and ISO9660 storage f
This repository provides the Android device kernel and the corresponding Linux kernel source tree. It serves as the foundational codebase for managing the hardware architecture and power management of mobile devices.
The main features of micode/xiaomi_kernel_opensource are: Android Device Kernels, Linux Kernel Development, Android Kernels, Hardware Drivers, Mobile Device Drivers, Operating System Kernels, Custom ROMs.
Open-source alternatives to micode/xiaomi_kernel_opensource include: rockchip-linux/kernel — The Linux kernel source tree is core system software tailored specifically for Rockchip processor architectures and… openbsd/src — This repository contains the complete source code for the OpenBSD operating system and its base utilities. It is a… fishinabarrel/linux-kernel-module-rust — This project provides a development framework for writing loadable Linux kernel modules using the Rust programming… intermezzos/kernel — Kernel is an educational hobby operating system and low-level systems programming project written in Rust. Designed… limine-bootloader/limine — Limine is a multiprotocol operating system bootloader that bridges low-level hardware initialization and system… cfenollosa/os-tutorial — This project is an educational curriculum designed to teach the fundamentals of operating system development and…