How so? This talks about changing how syscalls work (batching, callbacks, pinning the syscall handler to one core) but it doesn't look like redox does anything special with syscalls (https://doc.redox-os.org/doc/kernel/syscall/index.html)
> The system call interface is very similar to POSIX's system calls
> The system call interface is very similar to POSIX's system calls