Open sid-agrawal opened 1 week ago
Basic approach
Request/Hold edge: The entity which is giving the model state for these edges maintains it. a. CellulOS: Root Task b. Linux : Kernel c. VM: Guest Kernel
CellulOS
Linux
VM
Subset/Map Edges: The PD managing the resource space.
Basic approach
Request/Hold edge: The entity which is giving the model state for these edges maintains it. a.
CellulOS
: Root Task b.Linux
: Kernel c.VM
: Guest KernelSubset/Map Edges: The PD managing the resource space.