MirageOS 4.3 发布-低调大师

MirageOS 4.3 发布

2022-09-28 438

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

407

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

405

资源下载

更多资源

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

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。