Hello, As part of the robigalia [0] project I must create a Rust interface to the kernel. I'm using the XML from kernel/libsel4 and have been creating a "new" generator by copying the existing Python scripts. Should I send a patch upstream once this is suitably complete, or should I maintain this completely externally?
[0] - https://github.com/robigalia -- /cmr _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
