Get started with AlJefra OS. Choose a pre-built image or build from source
Complete package with bootable ISO, Mac flash script, and instructions. Unzip, run the script, boot.
Size: 2.3 MB | Contains: ISO + flash_usb.sh + README | Architecture: x86-64
Download aljefra-os-v0.7.11-usb.zipMD5: be2ff7ebd526b5fda06a6f9bc52f2124 | Updated 2026-03-07
GRUB2 bootable ISO image. Write to USB with Balena Etcher, Rufus, dd, or boot directly in QEMU.
Version: 0.7.11 | Size: ~9.3 MB | Format: ISO 9660 (El Torito + BIOS/EFI) | Architecture: x86-64
Download aljefra_os_v0.7.11.isoMD5: b9d49107a85c3bc43fcc449d9060dc7c | Updated 2026-03-07
Get AlJefra OS running on real hardware. Choose the method that matches your platform.
The easiest method for all platforms. No command-line needed.
aljefra_os_v0.7.11.isoLightweight Windows alternative with more control over boot settings.
aljefra_os_v0.7.11.isounzip aljefra-os-v0.7.11-usb.zip
chmod +x flash_usb.sh
sudo ./flash_usb.sh
The script auto-detects your USB drive, asks for confirmation, and flashes.
# Find your USB disk (e.g. /dev/disk2)
diskutil list
# Unmount it
diskutil unmountDisk /dev/diskN
# Flash (use rdiskN for speed)
sudo dd if=aljefra_os_v0.7.11.iso of=/dev/rdiskN bs=4m
# Eject
diskutil eject /dev/diskN
# Find your USB (e.g. /dev/sdb)
lsblk
# Flash
sudo dd if=aljefra_os_v0.7.11.iso of=/dev/sdX bs=4M status=progress
sync
Before booting AlJefra OS on real hardware, you may need to adjust your BIOS/UEFI settings.
AlJefra OS does not have a Microsoft-signed bootloader. If your machine has Secure Boot enabled, you will see:
Secure Boot Violation — Invalid signature detected. Check Secure Boot policy in setup.
| Brand | BIOS Key | Boot Menu Key |
|---|---|---|
| Lenovo | F2 or F1 | F12 |
| Dell | F2 | F12 |
| HP | F10 or Esc | F9 |
| ASUS | F2 or Del | F8 |
| Acer | F2 or Del | F12 |
| MSI | Del | F11 |
| Toshiba | F2 | F12 |
The AlJefra OS boot menu provides four options:
Build AlJefra OS for any supported architecture using the included build system.
git clone https://github.com/qatarit-com/AlJefra-OS.git
cd AlJefra-OS
# Build for a specific architecture
make ARCH=x86_64 # ~987 KB kernel ELF
make ARCH=aarch64 # ~1,014 KB kernel ELF
make ARCH=riscv64 # ~996 KB kernel ELF
Kernels will be built to build/[arch]/bin/kernel_[arch].bin. For detailed build instructions, see the Developer Guide.
Test AlJefra OS in the QEMU emulator before deploying to real hardware.
qemu-system-x86_64 -m 256 \
-cdrom aljefra_os_v0.7.11.iso -boot d \
-serial mon:stdio -display none \
-device e1000,netdev=n0 -netdev user,id=n0
# Build a GRUB ISO first:
mkdir -p /tmp/iso/boot/grub
cp build/x86_64/bin/kernel_x86_64.bin /tmp/iso/boot/aljefra.bin
cat > /tmp/iso/boot/grub/grub.cfg <<'EOF'
insmod all_video
insmod gfxterm
insmod vbe
insmod vga
terminal_output gfxterm console
set gfxmode=1024x768x32,800x600,auto
set gfxpayload=keep
set timeout=3
menuentry "AlJefra OS" {
set gfxpayload=1024x768x32,800x600,auto
multiboot /boot/aljefra.bin
boot
}
EOF
grub-mkrescue -o aljefra.iso /tmp/iso
# Boot it:
qemu-system-x86_64 -m 256 -cdrom aljefra.iso -boot d \
-serial mon:stdio -display none \
-device e1000,netdev=n0 -netdev user,id=n0
qemu-system-aarch64 -M virt -cpu cortex-a72 -m 256 -nographic \
-kernel build/aarch64/bin/kernel_aarch64.bin
qemu-system-riscv64 -M virt -m 256 -nographic \
-kernel build/riscv64/bin/kernel_riscv64.bin
Press Ctrl+a x to exit QEMU. The x86-64 kernel outputs to serial (COM1 115200 8N1). ARM64 and RISC-V output to UART.
AlJefra OS runs on minimal hardware across all supported architectures.
| Architecture | CPU Requirements | Minimum RAM | Disk Space |
|---|---|---|---|
| x86-64 | Intel/AMD x86-64 (Core 2 Duo or newer) | 256 MB | 10 MB |
| ARM64 | ARMv8 64-bit (Cortex-A72 or newer) | 256 MB | 10 MB |
| RISC-V 64 | RV64IMA or RV64IMAC | 256 MB | 10 MB |
AlJefra OS is designed for minimal footprint. The full HAL kernels with GUI, AI chat, and 22+ drivers produce ELF binaries of ~987 KB (x86-64), ~1,014 KB (ARM64), and ~996 KB (RISC-V), with text sections of 148 KB, 147 KB, and 123 KB respectively.
AlJefra OS is open source. We welcome contributions from developers worldwide.
git checkout -b my-featuregit commit -m "Add my feature"git push origin my-featureRead our Contributing Guide for code style, PR process, and review guidelines.
| Version | Date | Changes |
|---|---|---|
| v0.7.11 | 2026-03-07 | Broader USB controller fallback loading, better xHCI diagnostics, and refreshed ISO and USB artifacts for the latest network-fix build. |
| v0.7.0 | 2026-03-06 | USB network adapter support (CDC ECM, ASIX, Realtek). Fast framebuffer with back buffer. xHCI bulk transfers, USB device identification. |
| v0.6.0 | 2026-03-04 | Interactive shell with keyboard input (PS/2 + USB HID). Commands: help, info, pci, mem, drivers, uptime, clear, reboot. SSE safety flags for real hardware. |
| v0.5.0 | 2026-03-04 | UEFI framebuffer display, multiboot info preservation, 32GB identity mapping, automated BIOS+UEFI boot testing, universal GRUB config. |
| v0.4.0 | 2026-03-04 | Universal UEFI/BIOS boot: efi_gop, unicode font, gfxterm auto-detect. Balena Etcher/Rufus setup guide. |
| v0.3.0 | 2026-02-27 | Initial release. x86-64 kernel with AI bootstrap, driver marketplace, TCP/IP + TLS networking, 22+ drivers, GUI desktop. |