Gedare Bloom wrote: >> >> RTEMS_HYPERVISOR or RTEMS_VIRTUAL >> > I'm preferential to this high-level switch. I would avoid > RTEMS_HYPERVISOR, because RTEMS is not the hypervisor, it is the guest > VM. > And RTEMS_VIRTUAL could be taken to mean RTEMS supports virtual memory. What about RTEMS_HYPERVISOR_GUEST ? Chris