Last week, Ihor and Gernot said that they will merge the RT branch - I do not remember the date. There should be a white paper this week about the new features and how to use it. As far as I remember, the branch is working only on few architecture and works only on real hardware.
Julien. On Wed, Jun 1, 2016 at 5:10 AM, XilongPei <[email protected]> wrote: > Hi, > > I got information from https://wiki.sel4.systems/seL4%201.0.0-rt-dev , the > development branch for the seL4 realtime extensions. My question is that > will the codes in branch rt be merged into master, and add some build > option. If a working tree always not in the master branch, it will be very > difficult to be managed. > > > Xilong Pei > Tongji University > 2016/6/1 > > > > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
