docs: some more updates

docs/introduction.txt

@@ -18,7 +18,8 @@ needing a fast and small Linux system.
 
 OpenADK can also be used to generate a cross-toolchain for any kind
 of architecture and C library combination. It supports uClibc-ng, musl,
-GNU libc and newlib.
+GNU libc and newlib. With newlib support you can build bare-metal toolchains
+without need for Linux as operating system.
 
 Embedded systems often use processors that are not the regular x86
 processors everyone is used to having in his PC. 
@@ -30,8 +31,7 @@ Moxie, MSP430, NDS32, NIOS2, OR1K, PPC, PPC64, RiscV, RX, S/390, SH, SPARC, SPAR
 V850, X86, X86_64 and Xtensa.
 
 OpenADK supports numerous processors and their variants; it also comes
-with default configurations for many embedded systems, emulators and netbooks.
-(Raspberry PI, Cubox-i, Qemu, Aranym, PCEngines APU, Lemote Yeelong, IBM X40 and more)
+with sample configurations for many embedded systems, emulators and netbooks.
 
 OpenADK is not a Linux distribution and there are no releases or binary
 packages available. If you need something like that, better switch to

docs/prerequisite.txt

@@ -5,13 +5,11 @@
 System requirements
 -------------------
 
-OpenADK is designed to run on Linux systems. But there is basic 
-support to run on MacOS X, Windows with Cygwin, OpenBSD, MirBSD,
-NetBSD and FreeBSD. Main development happens on Debian/GNU Linux
-and MacOS X. The other host platforms are occasionally tested.
-
-OpenADK detects the host system and displays only the software
-packages, which are known to be cross-compilable on the used host.
+OpenADK is designed to run on Linux systems. But there is support to run on
+MacOS X, Windows with Cygwin, OpenBSD, MirBSD, NetBSD and FreeBSD. Main
+development happens on Debian/GNU Linux and MacOS X. The other host platforms
+are occasionally tested.  OpenADK detects the host system and displays only the
+software packages, which are known to be cross-compilable on the used host.
 For example OpenJDK7 is only cross-compilable on a Linux host.
 
 OpenADK needs some software to be already installed on the host