LiberSystem 是一个使用 Rust 语言开发的、基于能力(capability)安全模型的微内核操作系统。其设计聚焦于安全性与可靠性,利用 Rust 的内存安全特性和能力导向的架构,实现进程间高效隔离与通信,适用于对系统安全有高要求的场景。
#operating-system
30 条相关内容
本文详细介绍了从Linux系统迁移到FreeBSD的过程与体验。作者分享了在FreeBSD上的安装配置、软件包管理、网络设置以及日常使用中的差异和注意事项,帮助读者了解这一操作系统的独特优势与挑战。
BlackBear 是一款专注隐私保护的生活操作系统,帮助用户在一个安全、私密的环境中管理个人信息、任务和日常活动。它旨在将个人数据完全掌握在用户手中,避免第三方窥探,实现真正的数字隐私与生活管理一体化。
本文探讨了 FreeBSD 系统中内存被大量占用的问题,分析了可能的原因,包括 ZFS 缓存、内核结构以及后台进程等。作者通过实际案例和诊断方法,帮助用户理解 FreeBSD 的内存管理机制,并区分“可用内存”与“已用缓存”的区别,从而避免误判系统内存不足。
NanoShell 是一个32位的操作系统,支持抢先式多任务调度,并配备了窗口化的图形用户界面(GUI)。该项目托管在 GitHub 上,旨在提供一个轻量级但功能丰富的桌面环境,能够运行多个任务并管理窗口。
认识一下Agentic OS——你的主动式AI助手,它能无缝自动化处理任务、日程安排和文件管理。
Knoppix
2.0Knoppix 是一个基于 Linux 的操作系统,以 Live CD 或 USB 驱动器的形式运行,无需安装即可在计算机上使用。它集成了大量开源软件,特别适合系统恢复、数据救援和演示用途。
HamsterOS是由Mean Hamster Software开发的一款操作系统产品。该网站介绍了这款专为仓鼠主题或小型系统设计的操作系统,提供了相关功能特性和下载信息。
HamsterOS是一款极致精巧的图形桌面操作系统,其完整镜像大小仅1.44MB,恰好能存储在一张标准软盘中。这款系统不仅包含窗口管理器、文件浏览器和应用程序,还实现了在极低存储空间下运行完整图形界面的技术突破,展现了嵌入式与复古计算领域的非凡创意。
本文探讨了微软为何需要推出 Windows Lite——一个更轻量、更精简的 Windows 版本,以应对 Chrome OS 在轻量级设备市场的竞争压力。作者认为,Windows 10 在低端设备上表现不佳,而 Windows Lite 可以通过移除遗留组件、优化性能来填补这一空白,帮助微软在教育和入门级市场重新获得竞争力。
CachyOS 2026年6月发布版现已推出,带来了性能优化、内核更新以及多项改进。此次更新进一步增强了系统的稳定性和兼容性,为用户提供更流畅的桌面体验。
NixOS 项目组宣布 NixOS 26.05 版本正式可用。该版本带来了新的功能、改进和错误修复,进一步巩固了 NixOS 作为可重复构建和声明式系统配置的领先 Linux 发行版的地位。
Dragon's Egg 是一个经过形式化验证的分布式操作系统,基于对象能力模型(object-capability model)构建。它旨在提供高安全性和可靠性,通过严格的形式化方法验证系统行为,同时支持分布式环境下的对象通信与权限管理。该项目探索了将形式化验证与分布式能力安全模型相结合的操作系统设计路径。
我是Finn Dev,在没有PC的情况下,完全在Android上独立编写了一款名为ValiantCore的操作系统内核。该内核已具备基础驱动等功能,支持x86和Intel i386架构,目前正在添加aarch64支持。timer.c、exceptions.S、gic.c和boot.S等组件已经就绪,源代码托管在github.com/finndev62。
我是Finn Dev,在没有PC的情况下,仅用Android设备独立编写了一个名为ValiantCore的操作系统内核。该项目已搭建好基础框架,包含驱动程序等,支持x86和Intel i386架构,目前正在添加aarch64架构支持。timer.c、exceptions.S、gic.c和boot.S等组件已准备就绪,源代码可在github.com/finndev62获取。
这是一款受QNX启发的操作系统,其特色在于支持用户选择不同的内核。该系统借鉴了QNX的设计理念,同时提供了灵活的内核选择机制,让用户能够根据需求定制系统底层架构。
作者分享在老旧ThinkPad T60笔记本上安装SerenityOS的经历。SerenityOS是一个类Unix的图形化操作系统,具有独特的复古风格和现代设计。文章详细描述了安装过程中的挑战、硬件兼容性问题以及最终成功运行的心得体会。
作者分享使用 Omarchy 操作系统一年后的深度回顾,阐述了选择操作系统不应只是关于 Linux 发行版的设置,而是关于学习新的系统理念与工作流。文章反思了过度折腾系统配置的陷阱,以及如何通过 Omarchy 专注于真正重要的任务。
BlueBookOS是一个基于LLM(大语言模型)的微内核操作系统,它提供了一种专用语言来定义和规范应用程序的行为。该系统的核心理念是将LLM作为操作系统的核心组件,通过微内核架构实现模块化与安全性,同时利用自定义语言让开发者能够以声明式的方式描述应用逻辑,从而简化复杂应用的构建过程。
随着Valve推动Steam OS支持更多硬件,有关其能否替代Windows的讨论逐渐增多。但尚未有人积极推广这一想法。本文询问社区:现在讨论Steam OS替代Windows是否为时过早?有使用者能分享该系统的优缺点吗?
本文深入探讨了 Apple 将 Swift 语言引入操作系统内核的工程实践。文章分析了在 XNU 内核中使用 Swift 所带来的性能优势、内存安全改进以及开发者体验提升,同时讨论了这一技术决策面临的挑战,如二进制大小控制、启动时间优化以及与现有 C/Objective-C 内核代码的兼容性问题。
一位开发者计划通过从头编写内核来掌握C语言,并询问社区:如果2026年能够重写Linux,大家会做出哪些改变?他认为虽然Linux很优秀,但并非不可超越,希望探讨新的可能性。
本文探讨了微软如何在2026年改善Windows 11的使用体验,针对当前用户普遍抱怨的性能问题、界面不一致性以及功能缺失提出改进建议。作者希望微软能够倾听用户反馈,通过系统优化和功能更新让Windows 11变得更好用、更高效,从而真正摆脱"糟糕"的评价。
Distro Fighter is a website dedicated to comparing Linux distributions, helping users choose the right distro for their needs through detailed reviews, benchmarks, and feature comparisons. It serves as a resource for both beginners and experienced users navigating the Linux ecosystem.
本文探讨了Windows许可模式的重大变革,分析了微软如何通过新的许可策略重塑操作系统市场格局。这场许可革命不仅影响了企业和个人用户的软件成本,还改变了整个PC生态系统的竞争态势。文章深入解读了许可条款变化背后的商业逻辑及其对行业未来的深远影响。
anonymOS是一款面向对象的操作系统,融合了众多流行小众Linux发行版的特性。该项目旨在提供一种新颖的操作系统架构,通过面向对象的设计理念来增强系统的模块化和可扩展性,同时兼容Linux生态中的常见功能。
NextBSD 是一个基于 FreeBSD 内核的项目,内置 Mach 内核组件并集成 launchd 服务,同时保持与 FreeBSD ABI(应用二进制接口)的兼容性。该项目旨在融合 FreeBSD 的稳定性与 Mach 的微内核特性,以及 launchd 的现代服务管理能力,为操作系统开发提供新的探索方向。
Windows 11 于2021年10月5日正式发布,至今已走过五个年头。作为微软最新的操作系统,它在设计、性能和功能上带来了显著变化,包括全新的开始菜单、任务栏居中布局、改进的多任务处理以及对 Android 应用的支持。五年间,Windows 11 通过多次更新不断完善用户体验,但同时也面临硬件要求较高、兼容性挑战等争议。随着时间推移,它已逐步成为全球数以亿计用户的主流操作系统。
来自 REParadoxy 的 Rubinosław 推出了 Project Cherub——一个 TempleOS 的现代化分支版本。该项目旨在打造一个简约、功能完整且安全的操作系统,服务于家庭用户、程序员和艺术家。早期构建版已实现将帧率从 30 FPS 提升至 120 FPS,并计划增加 32 位色彩支持、SATA AHCI、NVMe、蓝光、视频、GPU 和 USB 等功能,同时保持 640x480 的屏幕分辨率。开发者将在 YouTube 上每月发布进度更新和操作系统开发直播。
REParadoxy 的 Rubinosław 发布了 Project Cherub,这是 TempleOS 的现代化分支版本。该早期构建已将帧率从 30 FPS 提升至 120 FPS,并将系统名称从 "TempleOS" 改为 "Project Cherub"。未来计划包括支持 32 位色彩、SATA AHCI、NVMe、蓝光、视频、GPU 和 USB,同时保留标志性的 640x480 分辨率。开发者将每月在 YouTube 上发布进度更新并进行 OS 开发直播。