垃圾收集语言的代码可以生成Unikernel吗？

Question

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

是否存在任何理论上的问题或实际警告，以便从垃圾收集语言（如Google的Go？）编译Unikernel？

Answer 1

从垃圾收集语言编译unikernel没有任何理论问题或实际警告。事实上，第一个unikernel项目之一MirageOS是一个用OCaml开发unikernel的框架，这是一种带垃圾收集器的函数式编程语言。 Haskell，HaLVM和Erlang / OTP LING的特定于语言的unikernel框架也存在并且具有不断增长的用户社区。甚至还有基于golang的unikernel项目，如Clive。

浏览the unikernel.org projects list以获取爆炸式内核项目空间的更全面和最新的列表。