Patches (was Re: Problem with L4Linux accessing ethernet clocks)

Adam Lackorzynski adam at
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.


More information about the l4-hackers mailing list