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

add functions for setting TCB Priority and MCP to TCP cap

Open sevenautumns opened this issue 9 months ago • 1 comments

added two missing functions to the TCB cap

sevenautumns avatar Mar 25 '25 15:03 sevenautumns

Thanks for adding these.

See https://github.com/seL4/rust-sel4/pull/251#issuecomment-2756257584 for addressing the CI failures.

nspin avatar Mar 27 '25 23:03 nspin