Everything you need to know about AlJefra OS architecture, development, and deployment
Multi-arch kernel design, layered architecture, and layer diagram. Understand the core design principles.
Hardware Abstraction Layer API reference. Complete CPU, interrupt, timer, memory, and I/O abstractions.
How to write portable drivers. APIs, device detection, example implementations, and best practices.
Boot process per architecture. Bootloader handoff, kernel entry, device tree parsing, and initialization.
Driver store REST API specification. Package format, signing, verification, and distribution.
Ed25519 code signing and trust chain. Verification process, key management, and security best practices.
How to add a new architecture. HAL implementation, toolchain setup, testing, and validation.
Getting started with AlJefra OS development. Build environment, project structure, and contribution workflow.
Physical memory layouts per architecture. Address spaces, reserved regions, and memory allocation strategy.
Get AlJefra OS built and running in minutes.
AlJefra OS includes a unified build system that compiles for all supported architectures:
# Build for all architectures
make all-arch
# Or specific architecture
make ARCH=x86_64
make ARCH=aarch64
make ARCH=riscv64
After building, the kernel binaries will be located in build/[arch]/bin/kernel_[arch].bin.
See the Developer Guide for detailed setup instructions.