在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
开源软件名称(OpenSource Name):GaloisInc/HaLVM开源软件地址(OpenSource Url):https://github.com/GaloisInc/HaLVM开源编程语言(OpenSource Language):Haskell 72.1%开源软件介绍(OpenSource Introduction):The Haskell Lightweight Virtual Machine (HALVM) Source Archive
The Haskell Lightweight Virtual Machine, or HaLVM, is a port of the Glasgow Haskell Compiler toolsuite to enable developers to write high-level, lightweight virtual machines that can run directly on the Xen hypervisor. While Galois initially designed the HaLVM to allow for quick and easy prototyping of operating systems components, the HaLVM has grown over time to allow for a much wider variety of use cases. When connected with the appropriate libraries, the HaLVM can, for example, operate as a network appliance. Writing for the Haskell Lightweight Virtual Machine is just like writing normal Haskell, and many pure Haskell libraries port to the HaLVM with little or no difficulty. In fact, we include the standard Haskell Cabal toolset in order to more easily facilitate the integration of outside Haskell libraries. However, instead of running on top of a typical operating system, HaLVM programs run at a very low level, directly on the Xen hypervisor. This allows for very lightweight, single purpose Xen domains with minimal resource requirements.
For those who want to set up a development environment and maybe contribute to HaLVM, please see HACKING.md. In addition, you might want to check out Darrin Eden's build system, available on GitHub:
It may provide some information that you'd find useful, or may automate portions of this process for you.
The HaLVM comes with a number of examples / test cases, located in the folder
Further information about using the HaLVM is available on the HaLVM wiki. Developers interested in improving the HaLVM should also take a look at the current list of HaLVM bugs, and submit any new feature requests to the HaLVM bug system.
The HaLVM is a proud member of the unikernel.org community. If you have any questions, suggestions, or comments about the HaLVM, we suggest participation in devel.unikernel.org, a multi-unikernel developer's message board. If you have bugs you would like to file or patches you'd like to send, we'd strongly prefer you utilize GitHub's interfaces for both these functions. Please see GitHub for more information. That's all, and enjoy using the HaLVM! |
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论