Add tests for vCPU objects

seL4 / sel4test

Test suite for seL4.

http://sel4.systems

Other

25 stars 63 forks source link

Open Ivan-Velickovic opened 9 months ago

Ivan-Velickovic commented 9 months ago

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.