Why would you want to port Phoenix? As long as the underlying VM follow the spec, Phoenix should be oblivious of on which it is running.