Hello, I'm looking for documentation that could possibly help me port FreeBSD to a new architecture. I'm mainly interested in how you guys did the xbox and amd64 ports. i.e. x86 instruction set. Thanks!