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