Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
Categories
Operating System KernelsLicense
GNU General Public License version 2.0 (GPLv2)Follow Bachar (kernel for AdaOS, IA-32 v1)
Other Useful Business Software
Stop vibe-debugging.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Bachar (kernel for AdaOS, IA-32 v1)!