Downloading the necessary files

Sections 1.3 to 1.6 below only apply to those who want to install the kernel development environment on their own "real" machine.

You will need to download in any directory (assumed to be named /download/directory the following files: