title: "FAQ" description: "Frequently asked GuardBSD questions with quick answers."

FAQ

What license does GuardBSD use?

GuardBSD is BSD 3-Clause licensed. See the root LICENSE file.

cat LICENSE | head -n 3

How do I get started quickly?

From the docs source (temp data), the quick start is:

# Build system
make iso

# Test boot
make test-boot

# Run ISO in QEMU
qemu-system-x86_64 -cdrom build/x86_64/guardbsd-guaboot.iso -serial stdio

Where can I learn the architecture?

Refer to the architecture docs and microkernel descriptions in the audit report. Key pillars:

  • Three microkernels (space, time, IPC)
  • Capability-based security
  • Minimal TCB (~1.52 MB stripped)

How complete is the system?

According to the Winter Saga v1.0.0 audit:

  • 35/40 tracked issues completed (87.5%)
  • Zero critical vulnerabilities
  • Comprehensive documentation coverage

Where is the issue tracker?

Temp docs reference ISSUES.md as the tracker entry point. Use the project tracker to file with repro steps and logs.

echo "Collect logs before filing issues:"
dmesg | tail -n 50