The source code for IMP OS is maintained using GitHub, and can be accessed here.
The source code for IMP OS itself is licensed under the Apache 2.0 License. Where other source has been used (such as the armstubs repository, the bootloader07 repository, and the USPi USB driver code within the kernel repository), existing licenses relevant to each of those projects apply.
There are a number of repositories maintained using GitHub, these will now be described briefly:
|sd-card||For Raspberry Pi, provides reference SD card files for ease of use. Branches are available for pi3/3b+, and 32/64-bit configurations.|
|kernel||The actual kernel itself for IMP OS.|
|bootloader07||During IMP OS development, the bootloader07 kernel is used as part of the bootstrap process. More details on bootloader07 will be published soon.|
|basic||A simple BASIC interpreter for IMP OS.|
|stdlib||The Standard Library for the Operating System.|
|hello||A simple "Hello, World" application that shows how to write an application that can be launched as a process in IMP OS.|
|cli||A simple CLI application for IMP OS. Is launched by default when the kernel has completed its initialisation.|
|armstubs||From the Raspberry Pi Foundation, this small piece of code allows the Raspberry Pi to boot up in EL3 rather than EL2. More details on what this actually means will be published soon.|