Website:

https://github.com/jgrivera67/HiRTOS

Author:

• J. German Rivera

Maintainer:

• J. German Rivera <jgrivera67@gmail.com>

License:

Apache-2.0

Version:

1.0.0

Alire CI:

Dependencies:

• gnat_arm_elf ^13.2.1
• gnatprove ^13.1.1

Dependents:

No dependents.

Badge: