The SD card will hold the operating system (OS) that runs of the Raspberry Pi and all operating systems that are compatible with the Raspberry Pi are fully compatible with the pi-top and the pi-topCEED. We ship with an 8Gb Class 10 SD card.