Skip to content

libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject#91

Open
astevins wants to merge 1 commit intoseL4:masterfrom astevins:retype_cap_table
+6

Commits

Commits on Jul 22, 2024