mamut-os

Public umbrella snapshot of the mamut-os workspace for the new LionsOS-based music OS line.

This repo packages the workspace as a single public tree so the full source layout is visible in one place. It includes the top-level ecosystem repos we bootstrapped locally:

• seL4/
• microkit/
• lionsos/
• l4v/
• sel4test/
• mamut-music-os/

lionsos/dep/ is included with source content as part of the snapshot, because the workspace treats LionsOS as the canonical OS base.

Notes

• This is a workspace snapshot repo, not the original upstream multi-remote layout.
• Embedded git metadata from the source clones is intentionally removed here so the workspace can live as one public repository.
• Generated build output is intentionally omitted from this snapshot.
• Bootstrap provenance for the locally created product line lives in mamut-music-os/docs/BOOTSTRAP_MANIFEST.md.