New configure option RTEMS_VIRTUAL

[Sebastian Huber]

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.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.