#export USE_VBE_RM=1
#USE_VBE_RM=1
-../../../git/rtems/configure --target=i386-rtems4.11 --prefix=/opt/rtems4.11 \
+../../../git/rtems/configure --target=i386-rtems4.12 --prefix=/opt/rtems4.12 \
--build=x86_64-pc-linux-gnu \
--enable-rtems-inlines --disable-multiprocessing --enable-cxx \
--enable-rdbg --enable-maintainer-mode \