When the CAmkES tutorials can be supported.

Question

When the CAmkES tutorials can be supported.

aogrcs opened this issue 6 years ago · comments

Hi, now it only support the native seL4 tutorials, when we can try the CAmkES tutorials? Thanks!
Sincerely!

Kent McLeod · Answer 1 · Mon May 14 2018 16:45:58 GMT+0800 (China Standard Time)

Hi,
We should be releasing an updated version of the tutorials for CAmkES and native that use the new CMake build system soon (within the next couple of days).

wenlong · Answer 2 · Wed May 23 2018 20:50:11 GMT+0800 (China Standard Time)

Thanks, hope for it!
Sincerely!