raspberry pi osてvirtualboxとか普通のマシンで動くのかしら