Hello, I'm interested in finding a way to retrieve the kernel that the ARM version of FreeBSD has. I'd like to use it in a project I have for school. Is there a direct download link anywhere. Or do I have to extract it from something? If so, what do I extract it from and how? Thanks so much. Sean,