> Had you considered using a GitHub repository, as Rust does? It might help > with some of the drawbacks noted, particularly tracking changes and reviews.
That had been considered, but in an effort to consolidate the process of both proposal and implementation into one location we decided to not use a git repository. If we find that the proposed system is insufficient we may revise this in the future. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
