It comes with two OS: Stock OS and Garlic OS. Stock OS is closed source, and Garlic OS is open source, except for the kernel part (all are closed source). To compile a simple SDL app that will run on the Stock OS, we will need a compiler, header files, and some libraries.