All DS Pico models have their firmware already flashed. All models have been thoroughly tested and confirmed working. Quality of shells may vary as I had made them all by hand. SD card is not included, however the files necessary are just a drag and drop and can be downloaded from the DS Pico official github pages.