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 <pei_xilong(a)tongji.edu.cn> 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
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel