hi Gerwin, Wow, thanks! Terrific details, there.
More questions come to mind! :-) How sustainable does the team see the proving being long term? Are there ¥€$ to cover the role(s)? What is the limit on how much code can change, and have the proving keep up? Etc.? Congratulations to you all for a terrific project. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
