Folks might be interested in this blog: https://microkerneldude.wordpress.com/2019/03/07/how-to-and-how-not-to-use-sel4-ipc/
Gernot _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
