We’re launching Lyria 3.5 in Google Flow Music, with advances across musicality, lyrics, vocals, and creative control
deepmind.google·6d ago
AI Engineering
Hacker News·Jun 14·5 min read
Zinnia: A modular 64-bit Unix-like kernel written in Rust
TL;DR
Many existing kernels are not written in safe programming languages, leading to potential vulnerabilities. Zinnia is a modular 64-bit Unix-like kernel built primarily in Rust, minimizing unsafe code usage.
✦ Why It Matters
Engineers can explore building safer and more modular kernels using Rust to enhance system security.
Key Takeaways
- Consider using Rust for kernel development to improve safety.
- Explore modular driver design for flexibility.
- Utilize POSIX APIs for compatibility with existing applications.
- Contribute to open-source projects like Zinnia for hands-on experience.
Full Summary
Traditional kernels often rely on languages like C, which can introduce security risks due to unsafe code practices. Zinnia is a modular 64-bit Unix-like kernel developed almost entirely in Rust, a language designed to enhance safety and concurrency.
It implements a wide range of POSIX (Portable Operating System Interface) APIs and includes extensions from Linux and BSD systems, such as epoll and timerfd, enabling it to support modern desktop environments. Most device drivers are structured as modules, specifically Rust ELF (Executable and Linkable Format) dynamic libraries, which are loaded during the boot process using the Limine bootloader.
As of now, Zinnia can boot on many real x86_64 machines, with plans for aarch64 and riscv64 support in the future. The project began in 2024 as a learning endeavor and has evolved to include numerous features, welcoming contributions for further improvements.