

I think he said in an earlier video that the Lichee 4A comes with Debian pre-installed.
I own its predecessor, the Lichee RV. It recommends flashing one of their images to a flash card for that one, but I ended up compiling my own bootloader, kernel, etc just because I wanted to, for fun.
Good old Hackers (1995)