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
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/