Awesome GitHub RepositoriesKernel Component Debugging

WinFSP is a framework for implementing custom file systems on Windows. It enables the creation of user-mode file systems that appear as standard disk drives or network shares to the operating system, allowing developers to implement file system logic in user space via a proxy architecture that avoids the need for custom kernel code. A primary differentiator is its FUSE compatibility layer, which maps POSIX-based file system calls to native Windows requests. This allows existing file systems written for the FUSE API to be ported to Windows and Cygwin environments. The project covers a wide ra

The Linux Kernel Module Programming Guide is an educational resource that teaches how to write, compile, and manage loadable kernel modules for modern Linux kernels. It covers the complete lifecycle of kernel modules, from building and loading to unloading and debugging, with a focus on extending kernel functionality without recompiling the entire kernel. The guide provides comprehensive coverage of core kernel programming concepts including dynamic module loading, file-operation registration, interrupt handling, kernel-user data copying, concurrency control, and deferred task scheduling. It

XXPermissions is a framework and manager for handling runtime and special system permissions across different Android operating system versions. It provides a unified interface for requesting standard permissions and directing users to system settings pages for advanced access control, such as file access and accessibility services. The project features a backward compatibility layer that abstracts version-specific logic, removing the need for manual operating system version checks in client code. It utilizes a chainable request pipeline to queue multiple permissions and manage their asynchro

The Rust RFCs repository is the formal home for the Rust language evolution process, housing the structured design documents and community review mechanisms that govern changes to the Rust programming language, its compiler, and its standard library. It defines the complete lifecycle for proposing, discussing, and implementing substantial changes through RFC documents, from initial submission and community feedback through final comment periods and sub-team sign-offs. The repository codifies the governance and collaboration processes that shape Rust's development, including mechanisms for com

SSHFS-Win is a Windows implementation of SSHFS that mounts remote directories over SSH as local Windows drives, enabling seamless file access as if they were local network drives. It provides both command-line and graphical interfaces for creating, managing, and disconnecting SSHFS mounts, supporting password or SSH key authentication with optional credential storage in the Windows Credential Manager. The project extends beyond basic SSH mounting to support a wide range of remote file access scenarios, including mounting cloud storage services like Azure Blob or Amazon S3, distributed POSIX f

Warp is a Python framework that JIT-compiles Python functions into CUDA kernels for GPU-accelerated parallel computation, with built-in automatic differentiation and multi-framework array interoperability. At its core, it provides a GPU kernel compilation system that enables writing and executing custom GPU kernels directly from Python, while supporting automatic gradient computation through those kernels for integration with machine learning pipelines. The framework also includes tile-based cooperative computing, where thread blocks partition into tiles for shared-memory and tensor-core opera

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Battery Historian هي أداة تصور وتوصيف لتحليل استهلاك الطاقة ونفاد البطارية على أجهزة Android. تعمل كعارض لتقارير الأخطاء وموصّف لاستهلاك الطاقة يقوم بتحليل سجلات النظام لاستخراج إحصائيات البطارية وبيانات النواة إلى واجهة قائمة على الويب. تتخصص الأداة في ربط مصادر البيانات المتباينة على جدول زمني متزامن. تحدد الأنشطة المستنزفة للطاقة من خلال تتبع انتقالات wakelock في مساحة المستخدم والنواة، وربط مصادر استيقاظ النواة بالطوابع الزمنية في الوقت الفعلي، وتراكب سجلات مراقبة طاقة العتاد الخارجية على أحداث النظام. يوفر النظام قدرات للتحليل المقارن، مما يسمح بحساب الفروق بين تقارير أخطاء متعددة لقياس التغييرات في سلوك الطاقة. كما يجمع المقاييس على مستوى التطبيق وأحداث النظام لتحديد محفزات برمجية محددة تمنع الجهاز من الدخول في وضع السكون.

TileLang is a Python-embedded domain-specific language compiler that JIT-compiles and autotunes GPU kernels. It uses a tile-based DSL, automatic software pipelining, and parallel autotuning to generate optimized GPU kernels at runtime. It supports tensor core operations with Pythonic syntax, automatic memory management, and thread mapping. The compiler searches over tile sizes, thread counts, and scheduling policies, compiling and benchmarking candidates in parallel to find the fastest kernel. It also caches compiled binaries and tuning results to disk for reuse across sessions. TileLang inc

يوفر هذا المشروع بيئة تطوير لنواة Linux ومجموعة محاكاة نظام لبناء وتصحيح وحدات النواة وتجميع الـ baremetal عبر بنيات أجهزة متعددة. يعمل كبيئة تجريبية وإطار عمل شامل لتطوير النظام منخفض المستوى، باستخدام QEMU لمحاكاة بيئات الأجهزة دون الحاجة إلى أجهزة مادية. تدمج البيئة سلاسل أدوات التجميع المتقاطع باستخدام Buildroot و crosstool-NG لاستهداف منصات x86_64 و ARMv7 و ARMv8 من مضيف واحد. وتتميز بإطار عمل متخصص لتصحيح أخطاء النواة يستفيد من GDB و KGDB للتنفيذ خطوة بخطوة وفحص حالة كل من عمليات النواة ومساحة المستخدم. تشمل القدرات الواسعة اختبار الانحدار التلقائي لعزل فشل التمهيد والوظائف من خلال تقسيم التحكم في الإصدار، وتجريد الأجهزة لإدارة حالات طاقة وحدة المعالجة المركزية وسجلات النظام، وبدائيات اختبار منخفضة المستوى لسلامة حالة الذاكرة وتحليل التجميع. يتضمن النظام أيضاً أدوات لقياس أداء الأوامر، وتسجيل المخرجات، وتشغيل مساحة العمل المعبأة في حاويات.

هذا المشروع عبارة عن دليل تقني شامل لتثبيت macOS على أجهزة x86 غير تابعة لـ Apple باستخدام محمل الإقلاع OpenCore. يعمل كدليل تهيئة لمحاكاة أجهزة Apple وتصحيح برامج النظام الثابتة لتحقيق توافق نظام التشغيل على أجهزة الكمبيوتر الشخصية. توفر الوثائق تعليمات مفصلة لمحاكاة أجهزة SMBIOS، بما في ذلك توليد معرفات النظام وملفات تعريف النموذج. تغطي تطبيق تصحيحات جدول ACPI لتمكين إدارة الطاقة الأصلية وتعديل خدمات وقت تشغيل UEFI لحل مشكلات خريطة الذاكرة وحماية الكتابة. يفصل المورد بشكل أكبر توافق الأجهزة لمكونات الشبكات والرسومات والصوت، بالإضافة إلى إدارة ملحقات النواة. يتضمن إرشادات حول تهيئة محمل الإقلاع، وإنشاء مثبتات قابلة للإقلاع، واستخدام التسجيل المطول ومجموعات تصحيح الأخطاء لاستكشاف أخطاء ذعر النواة وإصلاحها.

This project is an educational operating system kernel designed to demonstrate the fundamental architectural principles of memory paging and process management. It is implemented as a minimal kernel that serves as a practical reference for building a functioning system from the ground up. The implementation features a preemptive multitasking kernel that switches execution contexts between threads to share a single CPU. It includes an x86 virtual memory manager that uses paging to map virtual addresses to physical memory and isolate processes. The system covers low-level hardware interfacing

XNU is an operating system kernel designed to manage system hardware and process execution across different processor architectures. It utilizes a hybrid microkernel design that combines microkernel message passing with monolithic kernel performance by embedding critical subsystems into a single address space. The project implements a port-based asynchronous messaging system for communication between kernel tasks and userspace processes. It manages hardware interactions through a layered driver architecture and enforces system-wide security policies via a mandatory access control interface.