L4微内核技术,介绍了基于L4微内核的Linux系统。L4Linx是在Linux进行了修改。