Re: Anyone successful build a homebrewed kernel on F32