Assertion: different operating system | /r/HasProperty | run on raspberry pi devices
Facets:
Source sentences:
text: Raspberry PI devices often run an ARM-based Linux kernel, but there are actually a number of different operating systems that can be run on Raspberry PI devices.