Skip to content

Add .github/copilot-instructions.md for coding agent onboarding#39

Open
Copilot wants to merge 2 commits into536-refactorfrom
copilot/add-copilot-instructions-file-again
Open

Add .github/copilot-instructions.md for coding agent onboarding#39
Copilot wants to merge 2 commits into536-refactorfrom
copilot/add-copilot-instructions-file-again

Conversation

Copy link

Copilot AI commented Mar 3, 2026

Adds a copilot-instructions.md to give a coding agent the context needed to work effectively in this repo without manual exploration.

Contents

  • Project overview – MOSA's four components (compiler, kernel, device drivers, debugger) and execution model
  • Repository layout – Annotated directory tree covering all major project groups (Mosa.Compiler.*, Mosa.Runtime.*, Mosa.BareMetal.*, Mosa.Tool.*, Mosa.Plug.Korlib.*, etc.)
  • Build system – Separate solution files for Windows (Mosa.sln) and Linux/macOS (Mosa.Linux.sln); global Directory.Build.props wiring (unified bin/ output, net10.0, C# 14, nullable disabled)
  • Testing – Distinction between fast xUnit tests (dotnet test) and MOSA-specific end-to-end tests that compile + run under QEMU, including required QEMU install steps per platform
  • CI pipeline – Six-stage matrix across Windows/Linux/macOS × 10 optimization levels (-o0-o9); NuGet publish gated to master
  • Code style – Allman braces, tab indentation, modifier order, var preferences from .editorconfig
  • Architecture – Compiler pipeline, plug system, platform backends, bare-metal execution model
  • Common pitfalls – Don't set OutputPath per-project, don't enable nullable types, understand Mosa.Linux.sln exclusions, QEMU requirement for integration tests

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Co-authored-by: tgiphil <124747+tgiphil@users.noreply.github.com>
Copilot AI changed the title [WIP] Add instructions for onboarding Copilot coding agent Add .github/copilot-instructions.md for coding agent onboarding Mar 3, 2026
@tgiphil tgiphil marked this pull request as ready for review March 3, 2026 06:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants