Running a Linux binary

• Code like

  • fd = open(“/etc/passwd”, O_RDONLY);

• Becomes

  • syscall(5, ...)

• Kernel knows it’s a Linux binary, uses linux_syscalls[] array

  • linux_syscalls[5] = linux_open(…);

• File is opened

• All Linux file operations redirected to /compat/linux first

Notes: