> In fact, come to think of it, Linux is the only OS where syscalls are the official public userspace API, is it not?

Although I never checked so I could be completely wrong, I would expect folks shipping just kernels like SeL4 to ship stable kernel ABI rather than a libc.