This is the code implementation for the object management. It includes 3 patches, two patches are for the COCONUT-SVSM kernel, which add the Obj trait, ObjHandle and object management. One patch is for the user mode, which add the equivalent ObjHandle define.
The implementation is made according to the object management design code, which has been reviewed at the PR 4530. Thanks to @Freax13 for the invaluable reviews!
This is the code implementation for the object management. It includes 3 patches, two patches are for the COCONUT-SVSM kernel, which add the Obj trait, ObjHandle and object management. One patch is for the user mode, which add the equivalent ObjHandle define.
The implementation is made according to the object management design code, which has been reviewed at the PR 4530. Thanks to @Freax13 for the invaluable reviews!