Is anybody working on this?

Yes， I'm working on it.
Now I am trying to port Tizen to Orangepi+.
welcome to discuss!

https://github.com/leon-anavi/tizen-sunxi

https://github.com/leon-anavi/tizen-rockchip

https://wiki.tizen.org/wiki/How_ ... zen_3.0_TV_profile_(wayland_backend)_on_RPI2

i also think/hope that there is no need to make a kernel and drivers.

Hello, are there any progress in this direction? I do not find the orange pi in the device list