还真没用过，我用的都是大家伙。他刚才给的链接也是Linux啊

Raspberry Pi is a popular platform for hobbyists like you and me.

https://www.google.com/search?q=what+operating+system+does+raspberry+pi+use&rlz=1C1IHCB_enUS722US729&oq=which+operatibg+system+does+ra&aqs=chrome.2.69i57j0i22i30l7j0i390l2.24009j0j4&sourceid=chrome&ie=UTF-8