Any other key type must be already registered with the kernel via a kernel service.

其他任何密钥类型必须已经通过内核服务向内核注册，然后才能使用。

youdao

Other than a small part of the kernel, the bulk of Singularity is written in the type-safe language Sing#.

相对于只用于一小部分内核，Singularity的一大部分都是用类型安全的Sing#来编写的。

youdao

Based on the general type of Waiting-timeout of kernel and the other main real-time kernel, a method is advanced to resolve this problem in the end.

另外，结合超时等待机制的通用模型以及一些主流内核的实现方法，提出了这一不足之处的改正方法。

youdao