Hello,
My platform is imx6q sabrelite and I have run sel4-test successfully. Now
I'm trying to create a new thread in the initial thread according to sel4
tutorial2. But it didn't run.
The code is shown below:
struct driver_env env;
allocman_t *allocman;
/* function to run in the new thread */
Webite -- http://genodl4arm.critical.com/
Github -- https://github.com/CriticalTechnologiesInc/genode-sel4-arm
Hello everyone,
I have something rather exciting to share with you all today that we
here at Critical Technologies Inc (CTI) have been working on for
sometime now - the marriage of