papaya is a hobby-system under x86