Is it possible to run JingOS ARM on RaspberryPi 4?

My question is that if it is possible to run/flash JingOS onto an SD card and run it on my RasperryPi 4? Or if not will it be simple enough for somebody to port it to the RaspberryPi?

Im sorry if this triggers anyone because of the following part: “Or if not will it be simple enough for somebody to port it”

-Hector.