The patch is here http://dpaste.com/32VFE37
http://dpaste.com/1F3YETN But my sources were downloaded from apt, so these are outdated. Now, I'll try to download sources from git master 2018-06-17 14:01 GMT+02:00 Almudena Garcia <liberamenso10...@gmail.com>: > Yes. We fixed this too. > > Last night we was following the error chain, solve many errors and typos > as this. > I'll try to generate a patch to send you the fix. > > > > > 2018-06-17 10:00 GMT+02:00 Samuel Thibault <samuel.thiba...@gnu.org>: > >> Almudena Garcia, le dim. 17 juin 2018 01:44:11 +0200, a ecrit: >> > and shows another error in kern/startup.c >> > >> > [2]http://dpaste.com/1QR0XSK >> >> It was just a missing declaration, now fixed. >> >> Samuel >> > >