RTEMS in Pok analysis questions

[WL]

RTEMS task states not match Pok's (and it should be assumed they will
not match othet hypervisors') and also Pok needs tasks assigned at
compilation time whereas RTEMS allows an unlimited number of objects
(including tasks) created at runtime. It seems that the context
switching should be implemented in the BSP, but from Pok's perspective
isn't it unsafe to allow a guest partition to modify the processor's
registers?