Update readme.txt

arccore_rpi/readme.txt

@@ -33,8 +33,10 @@ The following steps explain how to set up an Autosar OS on a Raspberry PI.
 First, copy the contents of ../boot/-folder to an SD card. Now, necessary bootloaders are in place. This only needs
 to be done once for each new SD-card.
 
-Next, set up cross-compilation tools for ARM GNU-EABI on your working station. The goal is to compile the code into an
-image file, which is the final missing link to get the Autosar OS up and running on a Raspberry Pi.
+Next, set up cross-compilation tools for ARM GNU-EABI on your working station, for example Sourcery CodeBench,
+http://www.mentor.com/embedded-software/sourcery-tools/sourcery-codebench/evaluations/ (however, it is no longer 
+free for ARM hardware). The goal is to compile the code into an image file, which is the final missing link to get 
+the Autosar OS up and running on a Raspberry Pi.
 
 On a Linux system:
 Edit the CROSS_COMPILE environment variable in build.sh to the prefix of your cross-compilation tools. For example, 
@@ -47,5 +49,9 @@ Now, run "build.sh" (or "build.sh clean" if you want to clean the binaries befor
 there should be an image file (kernel.img) created in the core/binaries/Raspberry_Pi/-folder. Copy it to the SD-card 
 and have fun!
 
+On a Windows system:
+If you are using ArcticStudio-tools, they include a cross-compiler for ARM. Otherwise, it might be a bit tricky. 
+The best solution is probably to go for a Linux Virtual Machine, for example https://www.virtualbox.org/, 
+and follow the above steps.