Cristian
Results
3
comments of
Cristian
The arrow issue was fixed with the latest terminal code updates and now work perfectly, the newline is an issue related to timing that is being worked on right now,...
I am sadly not working on this project much anymore, but I will add it first if I resume development, thanks for the input
| [Ironclad](https://ironclad-os.org) | Formally verified, hard real-time capable kernel written in SPARK and Ada | 6,196,937 | Intel Core i9-13900KS |