[seL4] How can I port the seL4 microkernel to my unofficially verified hardware？

Does the document provide relevant information or project? I read related articles and I can be sure that my instruction set is common. Thank you.