MirageOS 4.0.0 发布，构建 unikernel 的库操作系统-低调大师

MirageOS 4.0.0 发布，构建 unikernel 的库操作系统

2022-03-28 521

MirageOS 4.0.0 发布了，MirageOS 是一个库操作系统，它构建了适用于各种云计算和移动平台的安全高性能网络应用程序的 unikernel。代码可以在传统的操作系统（如 Linux 或 MacOS X）上开发，然后编译成一个完全独立的专用 unikernel，在 Xen 或 KVM 管理程序，以及轻量级虚拟机管理程序下运行，如 FreeBSD 的 BHyve、OpenBSD 的 VMM。

此版本更新内容包括：

Fixed

用于 qubes target 的--solo5-abi=xen
修复与 dune 3.0 的构建
检查包名称是否符合 opam 惯例
允许指定 pinned packages 的版本

Changed

使用与 dune 相同的编译方式
要求 cmdliner 1.1
需要 opam 2.1 来使用 MirageOS
要求 conductit 5.1
将 ocaml-freestanding 更名为 ocaml-solo5

Added

添加 Key.opt_all 以允许多次使用一个参数
添加 Git 设备
添加 happy-eyeballs 设备
添加 docteur 设备以管理只读持久键值存储
添加 tcpv4v6_of_stackv4v6 设备
添加 int64 转换器
添加 dns_client 设备

详情可查看：https://github.com/mirage/mirage/releases/tag/v4.0.0

微信关注我们

原文链接：https://www.oschina.net/news/188700/mirage-4-0-0-released

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

KtConnect v0.3.2 发布，云原生本地联调测试工具

项目介绍 KtConnect是一款能让开发者本地运行的服务与Kubernetes集群中的服务双向互连的实用工具，由阿里云·云效团队开源。 🐬提供以下功能🐬 直接访问集群任意资源IP：打通本地与Kubernetes集群网络，本地直连任意Pod IP、服务Cluster IP 本地解析集群服务域名：使本地能直接用服务名或完整域名访问集群Service，同时不影响本地原有的域名解析本地服务一秒添加到集群：从Kubernetes集群直接访问开发者本地的服务进程，快速预览验证开发中的功能效果用本地服务置换集群服务：将Kubernetes集群中的指定服务临时替换为本地服务，快速进行端到端功能测试联调更新内容增加Recover命令用于立即恢复指定服务被Exchange或Mesh的流量 Connect运行时自动静默清理集群里的过期资源，可部分替代手工执行Clean命令的功能 Connect命令增加--useShadowDeployment参数，支持使用Deployment部署Shadow容器 Connect命令增加--podQuota参数，支持配置ShadowPod和RouterPod的资...

2022-03-28

660

Stellarium 0.22.0 已发布。Stellarium 是一款免费开源 GPL（自由软件基金会 GNU 通用公共许可证）软件，它使用 OpenGL 图形接口对星空进行实时渲染。软件可以模拟肉眼、双筒望远镜和小型天文等观察天空，根据观测者所处时间和位置，计算出天空中太阳、月球、行星等天体位置，并将其精确地显示出来。还可以绘制星座、演示天文现象，如流星雨、日食和月食等。 Stellarium 还被应用于天文馆中作为教学展示软件，作为天文爱好者星空望远镜观测辅助软件。此版本的主要变化内容如下： AstroCalc：日食查找器 AstroCalc：RTS（Rises、Transits、Settings）从 Bortle 刻度切换到光污染的物理亮度值。允许调整大气亮度/颜色模型和色调映射日历插件中的几个新日历火星上的Seasonal polar caps 新的和改进的天空文化 Scenery3D 中允许使用更大的纹理改进的 OnlineQueries 和 Satellites 插件核心和插件中的许多修复。为内部 Qt 框架的重大升级做技术准备。还有大量的错误修复、关闭...

2022-03-29

639

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。