List view

• 1.0.0

  * Fully Ada/SPARK based kernel * All residual C code removed (excepted userspace exported headers) * Fully GPRBuild-based build system, without any internal library use (yet including portability consideration in the gprbuild config file)

  Overdue by 6 year(s)

  •

  Due by September 30, 2019

  •23/23 issues closed
  100% complete0 open23 closed