Hi Christophe,On Mon, May 23, 2022 at 9:11 AM Christophe JAILLET<christophe.jaillet@wanadoo.fr> wrote:>> +KBUILD_RUSTFLAGS_OPT_LEVEL_MAP := 1The patch seems based on linux-next -- is this intended? Thanks!Cheers,Miguel