Hi Richard,
The support for the RT kernel is indeed for the latest RT version which isn’t pushed out yet.
What particular features were you after? I can push a branch out for you if so. But yes, it’s still WIP, I’ll be pushing out some real branches with documentation etc in the next few months.
Thanks Anna.
From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Richard Habeeb Sent: Thursday, 23 March 2017 3:54 AM To: devel@sel4.systems Subject: [seL4] CapDL & RT
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/