You are correct. You must run linux, but since most distros aren't too picky about what kernel version you run, you should be able to run any distro you want.