•
Code like
fd = open(“/etc/passwd”, O_RDONLY);
•
Becomes
syscall(5, ...)
•
Kernel knows it’s a FreeBSD binary, uses freebsd_syscalls[]
array
freebsd_syscalls[5] = freebsd_open(…);
•
File is opened