# kernel-builder Published articles for kernel-builder. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## 🤗 Kernels: Major Updates DevFeed: [🤗 Kernels: Major Updates]() Original publisher: [Read original article]() Author: Sayak Paul; Daniël de Kok; David Holtz Published: 2026-07-06T00:00:00Z Content type: article Language: en Sources: [Hugging Face - Blog]() Topics: [kernels](), [Security](), [Open Source](), [Nix](), [Git](), [systems]() Tags: [git](), [hub](), [kernel-builder](), [kernels](), [open-source](), [optimization](), [sandbox](), [security](), [updates]() ### AI overview Hugging Face's Kernels project introduces a first-class "kernel" repository type on the Hub, allowing users to inspect supported accelerators, operating systems, and backend versions. The update also adds trusted publishers, code signing, reproducible Nix-based builds, and embedded Git source identifiers to improve security and provenance. ### Source excerpt We're on a journey to advance and democratize artificial intelligence through open source and open science. ## October 2020 round-up DevFeed: [October 2020 round-up]() Original publisher: [Read original article]() Author: Samuel Dionne-Riel Published: 2020-11-03T00:00:00Z Content type: news Language: en Sources: [Mobile NixOS news]() Topics: [Kernel](), [kernel-builder](), [make](), [systemd](), [Mobile]() Tags: [devices](), [improvements](), [kernel](), [kernel-builder](), [make](), [systemd]() ### AI overview The October 2020 Mobile NixOS project update covers merged changes including redesigned kernel-builder ergonomics, compiling kernels once for some devices, and improved PinePhone modem integration through a systemd service. LTE data support was verified, while calls and SMS remained planned for later testing. ### Source excerpt This update is the eleventh in a series of regular updates on the state of the project. Only changes that have been accepted and merged in Mobile NixOS are chronicled here. There's always more work currently in-progress. Notable changes During the month 14 pull requests were merged. Some interesting changes were made during the month, let's look at some of them. Re-done kernel builder ergonomics The goal of this change is to make the kernel derivations as lean as possible, relying on the builder, rather than relying on copy-pasting common patterns around. This is a change that was needed since the project was started. Though, it could not have happened much earlier than this late in the project. This is because multiple different quirky kernels needed to exist to properly show what needed to be abstracted. With this, all common patterns for quirks have been identified and put behind flags. Those flags are described in Notes about the kernel builder. End-users shouldn't see any difference, this will help people who make ports. Compile kernels only once While testing the previous change, it was observed by @danielfullmer that kernel compilation happened twice for some devices. This was not a regression. Though looking at things trying to find problems you are bound to see the existing flaws! This was worked around by doing everything in one make invocation. The end-result is that some kernel builds will finish twice as quickly! Pinephone Modem support improvements Simply put, the modem has been verified to work with LTE data. With that said, there's more to it. End-users shouldn't have to care about a deeply-rooted /sys fs path to turn the modem off or on. This is why the modem-control service has been added. It mirrors the modem's state using bindsTo and wantedBy. With this service, the modem is better integrated with systemd, but more importantly the user can stop and start it using systemctl, rather than to dig for a particular less user-friendly path. Calls and SM ## August and September 2020 round-up DevFeed: [August and September 2020 round-up]() Original publisher: [Read original article]() Author: Samuel Dionne-Riel Published: 2020-10-06T00:00:00Z Content type: news Language: en Sources: [Mobile NixOS news]() Topics: [Mobile](), [Tooling](), [Kernel](), [Pull Request]() Tags: [kernel-builder](), [pull-request](), [series](), [tooling](), [update]() ### AI overview This tenth Mobile NixOS project update covers merged changes from August and September 2020, including forced kernel configuration normalization, the experimental Autoporter tooling for device porting, and one completed port. ### Source excerpt This update is the tenth in a series of regular updates on the state of the project. Only changes that have been accepted and merged in Mobile NixOS are chronicled here. There's always more work currently in-progress. Notable changes As with the last update, a big part of the 10 pull requests merged were bug fixes or minor changes. Here's a quick look at some of the nicer things achieved. Forced kernel configuration normalization The kernel-builder infrastructure now forces the configuration file used in its build to be normalized. What is normalization? Simply put, it's about updating the kernel configuration file so all of the options represent the values set in the current kernel build. This is a somewhat breaking change, as it forces kernel configurations to be kept up to date even if no changes were made by the maintainer. Though this makes the final build somewhat more declarative, as options removed and new options will be reflected in the kernel configuration in the repository. Autoporter The new Mobile NixOS Autoporter project is an experimental tooling intended to expedite the first step in porting to a new device. In a few words, it finds as many facts about a given device as it can. The current implementation uses pre-expanded factory images from OEM, but plans are in the work to work from files the user provide instead or in addition of. This enables the porter-developer to start from known true values for the device, rather than needing them to find out those values. The more valuable ones are the subtle ones, like the USB gadget modes, or system as root. It does not provide a complete skeleton yet. Mainly for now it's missing the kernel derivation. Though we might be able to provide likely source locations depending on some factors. All of this is not theoretical. We already have one port done through following this process! Look at the pull request #205 where the commits also tries to show the work that was needed to go from the skeleton files to a w