sel4test icon indicating copy to clipboard operation
sel4test copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add tests for vCPU objects

Open Ivan-Velickovic opened this issue 1 year ago • 0 comments

There are not really (to my knowledge) any tests for vCPUs. We should, at least, add basic tests for all of the libsel4 API for vCPU objects.

Ivan-Velickovic avatar Feb 19 '24 03:02 Ivan-Velickovic