https://itgearedad.pages.dev/posts/what-operating-system-does-raspberry-pi-use-answer-2022/