Hi, sorry if this sounds stupid but are address spaces and threads directly managed by the kernel as in are they allocated and identified by the kernel or is there another that helps the kernel?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
