This guide explains how to build and run AdrOS on your local machine (Linux/WSL).
-AdrOS is a Unix-like, POSIX-compatible OS kernel with threads, futex synchronization, networking (TCP/IP + DNS + ICMP via lwIP in threaded mode), dynamic linking infrastructure, FAT12/16/32 + ext2 filesystems, ASLR, vDSO, zero-copy DMA, multi-drive ATA, a POSIX shell, framebuffer graphics (`/dev/fb0`), raw keyboard input (`/dev/kbd`), uid/gid/euid/egid permission enforcement, an interactive kernel console, and a working DOOM port. See [POSIX_ROADMAP.md](docs/POSIX_ROADMAP.md) for the full compatibility checklist.
+AdrOS is a Unix-like, POSIX-compatible, multi-architecture OS kernel with threads, futex synchronization, networking (TCP/IP + DNS + ICMP + IPv6 + DHCP via lwIP), dynamic linking (`dlopen`/`dlsym`), FAT12/16/32 + ext2 filesystems, POSIX IPC (message queues, semaphores, shared memory), ASLR, SMAP/SMEP, vDSO, zero-copy DMA, virtio-blk, multi-drive ATA, interval timers, `posix_spawn`, a POSIX shell, framebuffer graphics, per-CPU runqueue infrastructure, and ARM64/RISC-V bring-up. See [POSIX_ROADMAP.md](docs/POSIX_ROADMAP.md) for the full compatibility checklist.
## 1. Dependencies
- `/bin/sh` — POSIX sh-compatible shell with `$PATH` search, pipes, redirects, builtins
- `/bin/cat`, `/bin/ls`, `/bin/mkdir`, `/bin/rm` — core utilities
- `/bin/doom.elf` — DOOM (doomgeneric port) — included in initrd if built (see below)
-- `/lib/ld.so` — stub dynamic linker (placeholder for future shared library support)
+- `/lib/ld.so` — dynamic linker with full relocation processing
The ulibc provides: `printf`, `malloc`/`free`/`calloc`/`realloc`, `string.h`, `unistd.h`, `errno.h`, `pthread.h`, `signal.h` (with `raise`, `sigaltstack`, `sigpending`, `sigsuspend`), `stdio.h` (buffered I/O with `fopen`/`fread`/`fwrite`/`fclose`), `stdlib.h` (`atof`, `strtol`, `getenv` stub, `system` stub), `ctype.h`, `sys/mman.h` (`mmap`/`munmap`), `sys/ioctl.h` (`ioctl`), `time.h` (`nanosleep`/`clock_gettime`), `sys/times.h`, `sys/uio.h`, `sys/types.h`, `sys/stat.h`, `math.h` (`fabs`), `assert.h`, `fcntl.h`, `strings.h`, `inttypes.h`, `linux/futex.h`, and `realpath()`.
This produces `adros-arm.bin`.
### Run on QEMU
-ARM does not use GRUB/ISO in the same way. The kernel is loaded directly into memory.
+ARM does not use GRUB/ISO. The kernel is loaded directly into memory.
```bash
+make run-arm
+# or manually:
qemu-system-aarch64 -M virt -cpu cortex-a57 -m 128M -nographic \
- -kernel adros-arm.bin
+ -kernel adros-arm.bin -serial mon:stdio
```
+
+Expected output:
+```
+[AdrOS/arm64] Booting on QEMU virt...
+[CPU] No arch-specific feature detection.
+Welcome to AdrOS (x86/ARM/RISC-V/MIPS)!
+```
+
- To quit QEMU when using `-nographic`: press `Ctrl+A`, release, then `x`.
+- ARM64 boots with PL011 UART at 0x09000000, EL2→EL1 transition, FP/SIMD enabled.
-## 4. Building & Running (RISC-V)
+## 5. Building & Running (RISC-V 64)
### Build
```bash
### Run on QEMU
```bash
-qemu-system-riscv64 -machine virt -m 128M -nographic \
- -bios default -kernel adros-riscv.bin
+make run-riscv
+# or manually:
+qemu-system-riscv64 -M virt -m 128M -nographic -bios none \
+ -kernel adros-riscv.bin -serial mon:stdio
```
+
+Expected output:
+```
+[AdrOS/riscv64] Booting on QEMU virt...
+[CPU] No arch-specific feature detection.
+Welcome to AdrOS (x86/ARM/RISC-V/MIPS)!
+```
+
- To quit: `Ctrl+A`, then `x`.
+- RISC-V boots with NS16550 UART at 0x10000000, M-mode, `-bios none`.
-## 5. Common Troubleshooting
+## 6. Common Troubleshooting
- **"Multiboot header not found"**: Check whether `grub-file --is-x86-multiboot2 adros-x86.bin` returns success (0). If it fails, the section order in `linker.ld` may be wrong.
- **"Triple Fault (infinite reset)"**: Usually caused by paging (VMM) issues or a misconfigured IDT. Run `make ARCH=x86 run QEMU_DEBUG=1` and inspect `qemu.log`.
## Architectures Targeted
- **x86** (32-bit, PAE) — primary, fully functional target
-- **ARM** (64-bit) — build infrastructure only
+- **ARM64** (AArch64) — boots on QEMU virt, UART console, minimal kernel
+- **RISC-V 64** — boots on QEMU virt, UART console, minimal kernel
- **MIPS** — build infrastructure only
-- **RISC-V** (64-bit) — build infrastructure only
## Technical Stack
- **Language:** C and Assembly
## Features
### Boot & Architecture
-- **Multi-arch build system** — `make ARCH=x86|arm|riscv|mips` (x86 is the primary, working target)
+- **Multi-arch build system** — `make ARCH=x86|arm|riscv|mips`; ARM64 and RISC-V boot on QEMU virt with UART console
- **Multiboot2** (via GRUB), higher-half kernel mapping (3GB+)
- **CPUID feature detection** — leaf 0/1/7/extended; SMEP/SMAP detection
- **SYSENTER fast syscall path** — MSR setup + handler
- **Shared memory** — System V IPC style (`shmget`/`shmat`/`shmdt`/`shmctl`)
- **`mmap`/`munmap`** — anonymous mappings, shared memory backing, and file-backed (fd) mappings
- **SMEP** — Supervisor Mode Execution Prevention enabled in CR4
+- **SMAP** — Supervisor Mode Access Prevention enabled in CR4 (bit 21)
- **W^X** — user `.text` segments marked read-only after ELF load; NX on data segments
- **Guard pages** — 32KB user stack with unmapped guard page below (triggers SIGSEGV on overflow); kernel stacks use dedicated guard-paged region at `0xC8000000`
- **ASLR** — TSC-seeded xorshift32 PRNG randomizes user stack base by up to 1MB per `execve`
### Process & Scheduling
- **O(1) scheduler** — bitmap + active/expired arrays, 32 priority levels, decay-based priority adjustment
+- **Per-CPU runqueue infrastructure** — per-CPU load counters with atomic operations, least-loaded CPU query
+- **`posix_spawn`** — efficient fork+exec in single syscall with file actions and attributes
+- **Interval timers** — `setitimer`/`getitimer` (`ITIMER_REAL`, `ITIMER_VIRTUAL`, `ITIMER_PROF`)
- **Process model** — `fork` (CoW), `execve`, `exit`, `waitpid` (`WNOHANG`), `getpid`, `getppid`
- **Threads** — `clone` syscall with `CLONE_VM`/`CLONE_FILES`/`CLONE_THREAD`/`CLONE_SETTLS`
- **TLS** — `set_thread_area` via GDT entry 22 (user GS segment, ring 3)
### Syscalls (x86, `int 0x80` + SYSENTER)
- **File I/O:** `open`, `openat`, `read`, `write`, `close`, `lseek`, `stat`, `fstat`, `fstatat`, `dup`, `dup2`, `dup3`, `pipe`, `pipe2`, `select`, `poll`, `ioctl`, `fcntl`, `getdents`, `pread`, `pwrite`, `readv`, `writev`, `truncate`, `ftruncate`, `fsync`, `fdatasync`
- **Directory ops:** `mkdir`, `rmdir`, `unlink`, `unlinkat`, `rename`, `chdir`, `getcwd`, `link`, `symlink`, `readlink`, `chmod`, `chown`, `access`, `umask`
-- **Signals:** `sigaction` (`SA_SIGINFO`), `sigprocmask`, `kill`, `sigreturn` (full trampoline), `sigpending`, `sigsuspend`, `sigaltstack`
-- **Process:** `setuid`, `setgid`, `seteuid`, `setegid`, `getuid`, `getgid`, `geteuid`, `getegid`, `alarm`, `times`, `futex`
+- **Signals:** `sigaction` (`SA_SIGINFO`), `sigprocmask`, `kill`, `sigreturn` (full trampoline), `sigpending`, `sigsuspend`, `sigaltstack`, `sigqueue`
+- **Process:** `setuid`, `setgid`, `seteuid`, `setegid`, `getuid`, `getgid`, `geteuid`, `getegid`, `alarm`, `times`, `futex`, `waitid`, `posix_spawn`, `setitimer`, `getitimer`
+- **IPC:** `mq_open`, `mq_close`, `mq_unlink`, `mq_send`, `mq_receive`, `mq_getattr`, `mq_setattr`, `sem_open`, `sem_close`, `sem_unlink`, `sem_wait`, `sem_post`, `sem_getvalue`
- **FD flags:** `O_NONBLOCK`, `O_CLOEXEC`, `O_APPEND`, `FD_CLOEXEC` via `fcntl` (`F_GETFD`/`F_SETFD`/`F_GETFL`/`F_SETFL`)
- **File locking:** `flock` (advisory, no-op stub)
- **Shared memory:** `shmget`, `shmat`, `shmdt`, `shmctl`
- **lwIP TCP/IP stack** — NO_SYS=0 threaded mode, IPv4, static IP (10.0.2.15 via QEMU user-net)
- **Socket API** — `socket`/`bind`/`listen`/`accept`/`connect`/`send`/`recv`/`sendto`/`recvfrom`
- **Protocols** — TCP (`SOCK_STREAM`) + UDP (`SOCK_DGRAM`) + ICMP
+- **IPv6** — lwIP dual-stack (IPv4 + IPv6), link-local auto-configuration
- **ICMP ping** — kernel-level ping test to QEMU gateway (10.0.2.2) during boot
- **DNS resolver** — lwIP-based with async callback and timeout; kernel `dns_resolve()` wrapper
+- **DHCP client** — automatic IPv4 configuration via lwIP DHCP; fallback to static IP
+- **`getaddrinfo`** / `/etc/hosts` — kernel-level hostname resolution with hosts file lookup
### Drivers & Hardware
- **PCI** — full bus/slot/func enumeration with BAR + IRQ
- **UART**, **VGA text**, **PS/2 keyboard**, **PIT timer**, **LAPIC timer**
- **Kernel console (kconsole)** — interactive debug shell with readline, scrollback, command history
- **RTC** — CMOS real-time clock driver for wall-clock time (`CLOCK_REALTIME`)
-- **E1000 NIC** — Intel 82540EM Ethernet controller
+- **E1000 NIC** — Intel 82540EM Ethernet controller (interrupt-driven RX thread)
+- **Virtio-blk driver** — PCI legacy virtio-blk with virtqueue, interrupt-driven I/O
- **MTRR** — write-combining support via variable-range MTRR programming
### Boot & Kernel Infrastructure
- **Core utilities** — `/bin/cat`, `/bin/ls`, `/bin/mkdir`, `/bin/rm`, `/bin/echo`
- `/bin/init.elf` — comprehensive smoke test suite
- `/bin/doom.elf` — DOOM (doomgeneric port) — runs on `/dev/fb0` + `/dev/kbd`
-- `/lib/ld.so` — stub dynamic linker (placeholder for future shared library support)
+- `/lib/ld.so` — dynamic linker with full relocation processing
-### Dynamic Linking (infrastructure)
-- **Kernel-side** — `PT_INTERP` detection, interpreter loading at `0x40000000`, `ET_DYN` support
+### Dynamic Linking
+- **Full `ld.so`** — kernel-side relocation processing for `R_386_RELATIVE`, `R_386_32`, `R_386_GLOB_DAT`, `R_386_JMP_SLOT`, `R_386_COPY`, `R_386_PC32`
+- **Shared libraries (.so)** — `dlopen`/`dlsym`/`dlclose` syscalls for runtime shared library loading
- **ELF types** — `Elf32_Dyn`, `Elf32_Rel`, `Elf32_Sym`, auxiliary vector (`AT_PHDR`, `AT_ENTRY`, `AT_BASE`)
-- **Relocation types** — `R_386_RELATIVE`, `R_386_32`, `R_386_GLOB_DAT`, `R_386_JMP_SLOT`
-- **Userspace `ld.so`** — stub built into initrd; full relocation processing is future work
+- **`PT_INTERP`** — interpreter loading at `0x40000000`, `ET_DYN` support
### Threads & Synchronization
- **`clone` syscall** — `CLONE_VM`, `CLONE_FILES`, `CLONE_SIGHAND`, `CLONE_THREAD`, `CLONE_SETTLS`
- **GDB scripted checks** — heap/PMM/VGA integrity
- `make test-all` runs everything
-## Running (x86)
-- `make ARCH=x86 iso`
-- `make ARCH=x86 run`
-- Logs:
- - `serial.log`: kernel UART output
- - `qemu.log`: QEMU debug output when enabled
+## Running
+
+### x86 (primary)
+```
+make ARCH=x86 iso
+make ARCH=x86 run
+```
+
+### ARM64 (QEMU virt)
+```
+make ARCH=arm
+make run-arm
+```
+
+### RISC-V 64 (QEMU virt)
+```
+make ARCH=riscv
+make run-riscv
+```
QEMU debug helpers:
- `make ARCH=x86 run QEMU_DEBUG=1`
See [POSIX_ROADMAP.md](docs/POSIX_ROADMAP.md) for a detailed checklist.
-**All 31 planned POSIX tasks are complete**, plus 17 additional features (48 total). ~103K lines of C/ASM/headers across 256+ commits. The kernel covers **~95%** of the core POSIX interfaces needed for a practical Unix-like system. All 35 smoke tests, 16 battery checks, and 47 host unit tests pass clean.
-
-### Remaining work for full POSIX compliance
-- **Full `ld.so`** — relocation processing for shared libraries (`dlopen`/`dlsym`)
-- **`getaddrinfo`** / `/etc/hosts` — userland name resolution
-- **`sigqueue`** — queued real-time signals
-- **`setitimer`/`getitimer`** — interval timers
-- **Per-CPU scheduler runqueues** — SMP scalability (currently all processes run on BSP)
-- **SMAP** — Supervisor Mode Access Prevention
-- **DHCP client** — currently static IP only
-- **Multi-arch bring-up** — ARM/RISC-V functional kernels
+**All 31 planned POSIX tasks are complete**, plus 35 additional features (66 total). The kernel covers **~98%** of the core POSIX interfaces needed for a practical Unix-like system. All 35 smoke tests, 16 battery checks, and 47 host unit tests pass clean. ARM64 and RISC-V 64 boot on QEMU virt.
## Directory Structure
- `src/kernel/` — Architecture-independent kernel (VFS, syscalls, scheduler, tmpfs, diskfs, devfs, overlayfs, procfs, FAT12/16/32, ext2, PTY, TTY, shm, signals, networking, threads, vDSO, KASLR, permissions)
- `src/arch/x86/` — x86-specific (boot, VMM, IDT, LAPIC, IOAPIC, SMP, ACPI, CPUID, SYSENTER, ELF loader, MTRR)
+- `src/arch/arm/` — ARM64-specific (boot, EL2→EL1, PL011 UART, stubs)
+- `src/arch/riscv/` — RISC-V 64-specific (boot, NS16550 UART, stubs)
- `src/hal/x86/` — HAL x86 (CPU, keyboard, timer, UART, PCI, ATA PIO/DMA, E1000 NIC, RTC)
- `src/drivers/` — Device drivers (VBE, initrd, VGA, timer)
- `src/mm/` — Memory management (PMM, heap, slab, arch-independent VMM wrappers)
| `sigpending` | [x] | Returns pending signal mask |
| `sigsuspend` | [x] | Atomically set signal mask and wait |
| `sigaltstack` | [x] | Alternate signal stack per-process (`ss_sp`/`ss_size`/`ss_flags`) |
-| `sigqueue` | [ ] | |
+| `sigqueue` | [x] | Queued real-time signals via `rt_sigqueueinfo` |
| Signal defaults | [x] | `SIGKILL`/`SIGSEGV`/`SIGUSR1`/`SIGINT`/`SIGTSTP`/`SIGTTOU`/`SIGTTIN`/`SIGQUIT`/`SIGALRM` handled |
## 5. File Descriptor Layer
| RTC (real-time clock) | [x] | CMOS RTC driver; provides wall-clock time for `CLOCK_REALTIME` |
| MTRR write-combining | [x] | `mtrr_init`/`mtrr_set_range` for variable-range MTRR programming |
| Kernel console (kconsole) | [x] | Interactive debug shell with readline, scrollback, command history |
-| Virtio-blk | [ ] | |
+| Virtio-blk | [x] | PCI legacy virtio-blk driver with virtqueue I/O |
## 10. Networking
| `connect`/`send`/`recv` | [x] | TCP client support |
| `sendto`/`recvfrom` | [x] | UDP support |
| DNS resolver | [x] | lwIP DNS enabled; kernel `dns_resolve()` wrapper with async callback + timeout |
-| `/etc/hosts` | [ ] | |
-| `getaddrinfo` | [ ] | Userland (needs libc) |
+| `/etc/hosts` | [x] | Kernel-level hosts file parsing and lookup |
+| `getaddrinfo` | [x] | Kernel-level hostname resolution with hosts file + DNS fallback |
## 11. Threads & Synchronization
| ELF auxiliary vector types | [x] | `AT_PHDR`, `AT_PHENT`, `AT_PHNUM`, `AT_ENTRY`, `AT_BASE`, `AT_PAGESZ` defined |
| ELF relocation types | [x] | `R_386_RELATIVE`, `R_386_32`, `R_386_GLOB_DAT`, `R_386_JMP_SLOT` defined |
| `Elf32_Dyn`/`Elf32_Rel`/`Elf32_Sym` | [x] | Full dynamic section structures in `elf.h` |
-| Userspace `ld.so` | [~] | Stub placeholder built into initrd at `lib/ld.so`; full relocation processing not yet implemented |
-| Shared libraries (.so) | [ ] | Requires full `ld.so` + `dlopen`/`dlsym` |
+| Userspace `ld.so` | [x] | Full relocation processing (`R_386_RELATIVE`, `R_386_32`, `R_386_GLOB_DAT`, `R_386_JMP_SLOT`, `R_386_COPY`, `R_386_PC32`) |
+| Shared libraries (.so) | [x] | `dlopen`/`dlsym`/`dlclose` syscalls for runtime shared library loading |
## 13. Userland
| O(1) bitmap scheduler | [x] | Bitmap + active/expired arrays, 32 priority levels |
| Decay-based priority | [x] | Priority decay on time slice exhaustion; boost on sleep wake |
| Per-process CPU time accounting | [x] | `utime`/`stime` fields incremented per scheduler tick |
-| Per-CPU runqueues | [ ] | Deferred — requires massive scheduler refactor for SMP |
+| Per-CPU runqueues | [x] | Per-CPU load counters with atomics, least-loaded CPU query |
---
## Implementation Progress
-### All 31 planned tasks completed ✅ + 17 additional features
+### All 31 planned tasks completed ✅ + 35 additional features (66 total)
**High Priority (8/8):**
1. ~~`raise()` em ulibc~~ ✅
46. ~~Multi-drive ATA support (4 drives across 2 channels)~~ ✅
47. ~~IOAPIC level-triggered routing for PCI interrupts~~ ✅
48. ~~ICMP ping test (kernel-level, verified in smoke test)~~ ✅
+49. ~~SMAP — CR4 bit 21~~ ✅
+50. ~~F_GETPIPE_SZ / F_SETPIPE_SZ — pipe capacity fcntl~~ ✅
+51. ~~waitid — extended wait~~ ✅
+52. ~~sigqueue — queued real-time signals~~ ✅
+53. ~~select/poll for regular files~~ ✅
+54. ~~setitimer/getitimer — interval timers~~ ✅
+55. ~~posix_spawn — efficient process creation~~ ✅
+56. ~~POSIX message queues mq_*~~ ✅
+57. ~~POSIX semaphores sem_*~~ ✅
+58. ~~getaddrinfo / /etc/hosts~~ ✅
+59. ~~DHCP client~~ ✅
+60. ~~E1000 rx_thread scheduling fix~~ ✅
+61. ~~Virtio-blk driver~~ ✅
+62. ~~Full ld.so relocation processing~~ ✅
+63. ~~IPv6 support (lwIP dual-stack)~~ ✅
+64. ~~Shared libraries .so — dlopen/dlsym/dlclose~~ ✅
+65. ~~Per-CPU scheduler runqueue infrastructure~~ ✅
+66. ~~Multi-arch ARM64/RISC-V bring-up (QEMU virt boot)~~ ✅
---
-## Remaining Work for Full POSIX Compliance
-
-### Tier 1 — Core POSIX gaps
-
-| Gap | Impact | Effort |
-|-----|--------|--------|
-| **Full `ld.so`** — relocation processing (`R_386_*`) | No shared library support | Large |
-| **Shared libraries (.so)** — `dlopen`/`dlsym`/`dlclose` | Static linking only | Very Large |
-| **`getaddrinfo`** / `/etc/hosts` | No name-based network connections from userspace | Medium |
-| **`sigqueue`** — queued real-time signals | Missing POSIX.1b feature | Small |
-| **Per-CPU scheduler runqueues** | SMP processes all run on BSP | Very Large |
-| **`setitimer`/`getitimer`** — interval timers | No repeating timers | Medium |
-
-### Tier 2 — Extended POSIX / usability
-
-| Gap | Impact | Effort |
-|-----|--------|--------|
-| **`pipe` capacity** — `F_GETPIPE_SZ`/`F_SETPIPE_SZ` | Fixed-size pipe buffer | Small |
-| **`waitid`** — extended wait | Missing POSIX interface | Small |
-| **`posix_spawn`** — efficient process creation | Missing POSIX interface | Medium |
-| **Virtio-blk driver** | Only ATA PIO/DMA disk access | Medium |
-| **SMAP** — Supervisor Mode Access Prevention | Missing hardware security feature | Small |
-| **DHCP client** | Static IP only (10.0.2.15 via QEMU user-net) | Medium |
-| **E1000 rx_thread scheduling** | RX thread not waking from semaphore during ping; inline poll workaround | Medium |
-
-### Tier 3 — Multi-arch & long-term
-
-| Gap | Impact | Effort |
-|-----|--------|--------|
-| **Multi-arch bring-up** — ARM/RISC-V functional kernels | x86-only | Very Large |
-| **IPv6** | IPv4-only | Large |
-| **POSIX message queues** (`mq_*`) | Missing IPC mechanism | Medium |
-| **POSIX semaphores** (`sem_*`) | Only futex available | Medium |
-| **`select`/`poll` for regular files** | Only pipes/TTY/sockets | Small |
+## Remaining Work
+
+All previously identified gaps have been implemented. Potential future enhancements:
+
+| Area | Description |
+|------|-------------|
+| **Full SMP scheduling** | Move processes to AP runqueues (infrastructure in place) |
+| **ARM64/RISC-V subsystems** | PMM, VMM, scheduler, syscalls for non-x86 |
+| **`epoll`** | Scalable I/O event notification |
+| **`inotify`** | Filesystem event monitoring |
+| **`sendmsg`/`recvmsg`** | Advanced socket I/O with ancillary data |
+| **Shared library lazy binding** | PLT/GOT lazy resolution in ld.so |
+| **`aio_*`** | POSIX asynchronous I/O |
## Current State
-All four testing layers are **implemented and operational**:
+All testing layers are **implemented and operational**:
-- **Static analysis** (`make check`): cppcheck + sparse + gcc -fanalyzer (59 x86 C files)
+- **Static analysis** (`make check`): cppcheck + sparse + gcc -fanalyzer
- **QEMU smoke tests** (`make test`): expect-based, 35 checks (file I/O, signals, memory, IPC, devices, procfs, networking), 4-CPU SMP, 90s timeout
- **Test battery** (`make test-battery`): 16 checks across 5 QEMU scenarios — multi-disk ATA, VFS mount, ping, diskfs
- **Host unit tests** (`make test-host`): 47 tests — `test_utils.c` (28) + `test_security.c` (19)
- **GDB scripted checks** (`make test-gdb`): heap/PMM/VGA integrity validation
- **Full suite** (`make test-all`): runs check + test-host + test
+- **Multi-arch build verification**: `make ARCH=arm` and `make ARCH=riscv` compile and boot on QEMU virt
## Available Tools (already installed)
| cppcheck | /usr/bin/cppcheck | Static analysis (already in use) |
| sparse | /usr/bin/sparse | Kernel-oriented static analysis (C semantics, type checking) |
| gcc | /usr/bin/gcc | Compiler with `-fsanitize`, `-fanalyzer` |
-| qemu-system-i386 | /usr/bin/qemu-system-i386 | Emulation + smoke tests |
+| qemu-system-i386 | /usr/bin/qemu-system-i386 | x86 emulation + smoke tests |
+| qemu-system-aarch64 | /usr/bin/qemu-system-aarch64 | ARM64 emulation |
+| qemu-system-riscv64 | /usr/bin/qemu-system-riscv64 | RISC-V 64 emulation |
| gdb | /usr/bin/gdb | Debugging via QEMU `-s -S` |
| expect | /usr/bin/expect | Scripted QEMU serial interaction |
| python3 | /usr/bin/python3 | Test runner orchestration |
make test-host # Host-side unit tests for pure functions
make test-gdb # QEMU + GDB scripted checks (optional)
make test-all # All of the above
+
+# Multi-arch build verification
+make ARCH=arm # Build ARM64 kernel
+make run-arm # Boot ARM64 on QEMU virt (aarch64, cortex-a57)
+make ARCH=riscv # Build RISC-V 64 kernel
+make run-riscv # Boot RISC-V 64 on QEMU virt
```
projects / AdrOS.git / commitdiff