Paul/tiny_os
1
0
Fork 0
mirror of https://github.com/panpaul/tiny_os synced 2024-09-20 09:45:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix: untyped retype: check null

Browse Source
This commit is contained in:
Paul Pan 2024-04-28 20:45:10 +08:00
parent 18240fec26
commit 5ea8a56611
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kernel/src/objects/untyped.rs
View File

@ -89,7 +89,7 @@ impl UntypedCap<'_> {
slots
.iter()
.any(|cte| NullCap::try_from(cte).is_err())
.then_ok((), SysError::CapTypeMismatch)?;
.else_ok((), SysError::CapTypeMismatch)?;
// Start allocating from free_offset
// Notice: in vallina seL4, it will check whether there are child nodes,