Patches (was Re: Problem with L4Linux accessing ethernet clocks)
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Mon Oct 16 00:48:38 CEST 2017
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
More information about the l4-hackers
mailing list