Hi,
Could you tell me why did you not implement domains in RT kernel version? Are there any difficulties? I'm going to add support of domains, and at the first sight I don't see any difficulties.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
