I don't think so. The claim of L4 is that µkernels are non-portable
(which makes sense) and that they must be coded in a non-portable way,
The orignial one was assembly, and then fiasco is a reimplementation of L4
in C (mostly).

Linux is UNIX, mostly, if we forget about its bloat.