13 | | * Use your favorite GNU/Linux distribution. |
14 | | * [http://www.virtualbox.org Virtualbox] images are available which should give you more options (http://virtualboximages.com/) including using a Windows computer to run a virtual machine with GNU/Linux. |
| 13 | * Use your favorite host operating system to do this. You can do this on Windows using MSYS2, a GNU/Linux distribution, MacOS, FreeBSD, etc. Guidance on many operatiing systems is in the [https://docs.rtems.org/branches/master/rsb/hosts.html# Hosts] section of the RTEMS Source Builder [https://docs.rtems.org/branches/master/rsb manual]. |
| 14 | * In many cases, you can use [http://www.virtualbox.org Virtualbox] to execute the operating system virtually. Many operating system images are available are available at https://virtualboxes.org/images/ and https://www.osboxes.org/virtualbox-images/. This allows you to use a Windows computer to run a virtual machine with GNU/Linux or FreeBSD. Note that the virtual machines there may need to be updated and have extra packages installed to be suitable for building RTEMS tools and RTEMS itself. |