> Could someone who knows please tell me how the kernel determines that
> an executable file is (for example) a linux binary, and provides
> emulation accordingly?

Take a look at sys/kern/kern_exec.c, specifically the "check_exec"
function, and sys/kern/exec_conf.c.

If that's not enough information, feel free to ask more specific
questions...

-allen