New configure option RTEMS_VIRTUAL

[Philipp Eppelt]

On 10/14/2013 09:09 AM, Sebastian Huber wrote:
> On 2013-10-11 19:54, Gedare Bloom wrote:
>> I would like to make one other suggestion, which is:
>> RTEMS_PARAVIRT, and --enable-paravirt.
>> This option is consistent with the language already used to describe
>> what is being done, i.e. paravirtualization of some pieces of RTEMS.
>> All in favor?
> 
> This is fine for me.
> 

+1