垃圾收集语言的代码能生成Uni内核吗？

Question

系统开发界最近对Unikernels感到兴奋。简而言之，Unikernels是编译到独立的、可引导的操作系统上的应用程序，而不是现有操作系统中的进程。

在从垃圾收集的语言(如Google的Go? )中编译Unikernel时，是否存在任何理论问题或实用警告？

Answer 1

从垃圾收集的语言编译一个统一内核没有理论上的问题或实际的警告。实际上，第一个unikernel项目MirageOS是一个框架，用于在OCaml (一种带有垃圾收集器的函数式编程语言)中开发unikernels。针对Haskell、HaLVM和Erlang/OTP、凌的特定于语言的统一内核框架也存在，并且拥有越来越多的用户社区。甚至还有一些基于黄金的统一内核项目，如克莱夫。

浏览unikernel.org项目列表，以获得更全面和最新的联合内核项目空间的最新列表。