On Sat Oct 14, 2017 at 17:09:46 +0200, Paul Boddie wrote: > On Wednesday 11. October 2017 15.33.58 Manolis Ragkousis wrote: > > > > Finally I have a question, Are you accepting patches for L4 and L4Linux? > > I could make my git patches more presentable and send them here if you > > want, to be added to your upstream repo. > > I would be interested to know about this as well. I sent some patches to the > list a while back, but nothing was really said about whether there was any > interest in incorporating them upstream.
Principally yes but this also depends on time etc., see other mail. > One of the patches made the stated CI20 support actually work, thanks to > Sarah's guidance, so it must surely be of interest to more than just me. The You're talking about the cache instruction issue? > other patches attempted to support gcc instead of the vendor compiler, which > I > would also think would be desirable (especially given the corporate "pass the > parcel" game going on with the vendor in question at the moment). Well, then lets discuss those changes. Adam _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers