Files
xomb/.cargo/config.toml
wilkie c6fa2895e2 Initial commit: XOmB exokernel foundation
Core kernel infrastructure:
- Multiboot2 boot with GRUB, long mode setup, higher-half kernel
- Serial port output for debugging
- Unified boot info abstraction for future UEFI support

Memory management:
- Physical frame allocator with bitmap tracking
- Page table manipulation via recursive mapping (PML4[510])
- Support for 4KB, 2MB, and 1GB page mappings
- TLB invalidation and proper NXE support

Build system:
- Cargo-based build with custom x86_64 target
- Makefile for QEMU and Bochs testing
- GRUB ISO generation for multiboot2 boot
2025-12-26 14:20:39 -05:00

22 lines
567 B
TOML

# XOmB Cargo Configuration
#
# Note: build-std is passed via command line in Makefile to avoid conflicts
# with host-side unit tests.
[build]
target = "x86_64-unknown-uefi"
[target.x86_64-unknown-uefi]
runner = "cargo run --manifest-path runner/Cargo.toml --"
# Linker settings - UEFI uses PE/COFF format, handled automatically
rustflags = [
"-C", "link-arg=/subsystem:efi_application",
]
[alias]
# Convenient aliases
kbuild = "build --release"
ktest = "test --lib --target x86_64-unknown-linux-gnu"
kclippy = "clippy --lib --target x86_64-unknown-linux-gnu"