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/