On Tue, Jul 29, 2025 at 11:45 AM Danilo Krummrich <dakr@xxxxxxxxxx> wrote: > > Something seems to be odd with the commit message, it seems some parts are > missing. The "ensures ABI correctness when interfacing with C code" should also be changed -- it is true that we want to use the identifiers from the prelude, but the ABI was fine here, since it was already using `kernel::`. i.e. otherwise, it would have been a fix. Cheers, Miguel
