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