MirageOS 4.3 发布-低调大师

MirageOS 4.3 发布

2022-09-28 430

MirageOS 是一个库操作系统，为各种云计算和移动平台的安全、高性能网络应用构建 unikernels。开发人员可以在传统的操作系统（如 Linux 或 macOS）上编写代码。然后，他们可以将自己的代码编译成一个完全独立的、专门的 unikernel，在 Xen、KVM 管理程序和轻量级管理程序（如FreeBSD的BHyve、OpenBSD的VMM）下运行。

MirageOS 4.3 正式发布，更新内容如下：

修复

chamelon 格式示例调用的参数顺序错误
tar-mirage：将上限提高到 3.0.0 —— 2.0.0 系列没有破坏 API
修复列表和对组合器的分隔符
更新对 erratique.ch 文档的引用

变化

允许更多的日志级别
改进 Functoria CLI：如果上下文缓存无效就不会失败，处理全局参数出现解析错误的情况。
移除 v4 和 v6 栈，以及其他废弃的绑定
删除 FS 的残余部分和存档的 kv_ro，以及用于生成 FAT 块存储设备的 shell 脚本
更新至 OCamlFormat 0.23.0

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

微信关注我们

原文链接：https://www.oschina.net/news/212055/mirageos-4-3-released

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

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

Raspberry Pi OS 更新，移除 Node-RED

Raspberry Pi 基金会近日发布了基于 Debian 的 Raspberry Pi OS 的新版本，新的 Raspberry Pi OS 是在前一个版本发布两周后发布的，Raspberry Pi OS 2022-09-22 主要是一个错误修复版本，修复的问题包括： Node-RED 从推荐软件和完整镜像中移除，建议用户在需要时从软件库中安装它改进了 lxpanel 网络控制器插件的启动速度改进了在首次启动向导中对蓝牙 HID 设备的检测修复：版本号和日期不正确的问题修复：大写字母或数字锁激活时，可搜索主菜单中的文本输入被忽略的问题修复：在 64 位版本中，打开 Wi-Fi 和蓝牙插件菜单的键盘快捷键失效修复：蓝牙设备菜单中的文字错误修复：在 Mutter 中循环使用窗口时崩溃修复：如果 rootfs 大小调整失败，firstboot 脚本会跳过进一步的步骤修复：raspi-config 中的错字导致创建了空文件 /2 Linux 内核升级至 5.15.61 Raspberry Pi OS 2022-09-22 现在可以从官方网站下载 64 位或 32 位镜像，...

2022-09-29

395

GnuCash4.12 现已发布，这是稳定版 4.x 系列的第十个版本。GnuCash 是一个适用于个人或小型企业的财务软件，采用 GPL 协议开源，支持 GNU / Linux、BSD、Solaris、Mac OS X 及 Microsoft Windows。GnuCash 易于使用，且功能强大，它可以追踪银行帐户、股票、收入与支出，也可以基于专业的会计原则确保帐目平衡并提供准确的报表。在 4.11 和 4.12 之间，完成了以下错误修复：错误 794584 - 创建 scheduled transactions 时，Register 未更新错误 798262 - 无法创建具有空白金额的计划交易。错误 798385 - 通常只描述“Landesbank Hessen-Thuringen Girozentrale” 将最终债权人或最终债务人添加到交易描述中。错误 798565 - 导入 map editor：删除地图不会将 gnucash 文档标记为 dirty 错误 798573 - Tab Width Behaviour 以前当 notebook tabs 在左侧或右侧时...

2022-09-29

395

资源下载

更多资源

优质分享App

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

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

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文件系统，支持十年生命周期更新。