I have to go with Bill here.
Before we can make any statements regarding 0S 4 support for the SharkPPC, we first need the hardware and the associated documentation.
We have neither at the moment nor any indication from Elbox when we can expect to receive it.
Now it's conceivable that Elbox came up with some kind of WarpOS compatibility software but if they did, I'm not aware of it.