23 Mar
2017
23 Mar
'17
3:53 a.m.
Hello all,
I see that the master branch of CapDL has some support for the RT kernel, but I am having some trouble building it against the current public sel4 RT branch. Which version of the RT kernel does capDL work with? Or, is it still a work in progress?
Thanks, Richard
--
Richard Habeeb
Research Assistant, Computer Science, USF
PGP: https://goo.gl/VhmGGu
https://habeebr.bitbucket.io/