waccOS, an operating system kernel written in WACC.
Primary LanguageAssemblyGNU General Public License v3.0GPL-3.0