On Fri, Jun 12, 2020 at 02:04:50AM +0100, Ramsay Jones wrote: > On 10/06/2020 21:27, Luc Van Oostenryck wrote: > > The real goal here is in fact to move the nios2-specfic > > builtins out of the main builtins table. > > I had to do a search for Nois II - do people actually run Linux > on these? :-P Yes, quite exotic! I also had to look about it. > This and all remaining patches look good. Thanks, -- Luc
