Dear

We are currently working on the ukernel design and survey the L4 API interface.
For Fiasco, it is implemented on L4/V2 and L4/X.0 interfaces.

If we implement a new u-kernel by ourselves that follows the same L4 API interface, will it still support the L4Env and L4Linux which will be put above this u-kernel? I think this issue is reasonable.

Thanks a lot!

Best Regards,
Sean