Webassembly would probably be an ideal executable format for a synthesis kernel. Safe to execute, easy to generate these days from all sorts of programming languages.

Plus, you can actually inline syscalls and whatnot into your compiled application at runtime.