rust-sel4 icon indicating copy to clipboard operation
rust-sel4 copied to clipboard
verified publisher icon seL4

fix wrong scheduling capability in init_thread::slot::SC

Open sevenautumns opened this issue 9 months ago • 1 comments

fixes #250

sevenautumns avatar Mar 25 '25 15:03 sevenautumns

Thanks for the fix!

I just fixed the link check issue in https://github.com/seL4/rust-sel4/pull/253, so rebasing will take care of that failure.

As for the gitlint, the seL4 org has a git commit title line length limit of 50 chars.

nspin avatar Mar 27 '25 01:03 nspin