Raspberry Pi port, piCore-16.0 is available!
Ah - nvidia, that complicates things - perhaps it’s a question of loading the correct nvidia kernel module..