Skip to content

Which version should we treat as "stable" for production use? (was a tag for 1.4.2 perhaps just missed?) #16

Description

@DocSneider

Hello,

We build this module in our internal CI, package it as a versioned .deb, and bake it into immutable production images. To make the image auditable and to document exactly what was built and installed, we need to specify the version (tag) that should be pulled.

Until now we stuck to the latest tagged version, v1.4.0. Recently we hit a kernel warning on our systems and looked into this repo to see whether a newer release might already fix it.

While doing so we noticed that the tag names don't match the version strings they ship:

ref commit MODULE_VERSION dkms.conf PACKAGE_VERSION
tag v1.4.0 (latest release) 26e404a, 2025-02-04 1.4.1 1.4.1
main 3404e5d, 2025-10-17 1.4.2 1.4.2

So a module built from the release called "1.4.0" reports 1.4.1 under modinfo. There is no v1.4.1 tag, and no v1.4.2 tag either.

We also realized that main is 3 commits ahead of the latest release and has been untagged since October 2025. Both version strings there are now 1.4.2:

7681846  2025-10-17  Update dkms.conf              PACKAGE_VERSION 1.4.1 -> 1.4.2
41ae6e7  2025-10-17  fix potential missing lock    MODULE_VERSION  1.4.1 -> 1.4.2
3404e5d  2025-10-17  Update crono_kernel_module.c  ("fix old branch")

Our guess is that v1.4.2 was intended as a release and creating the tag was simply missed. Is that correct?

Our questions:

  1. Which is the recommended way to get a stable release for production use, the latest tagged release, or main? Tracking "latest main" isn't really an option for us, since we have to pin something. At minimum we would need to pin a specific commit.
  2. If v1.4.2 was indeed intended, could you tag 3404e5d retroactively?
  3. Would you consider a short note in the README stating which source you recommend for production?
  4. Is this GitHub repo the canonical source for the Linux driver, or do you distribute it elsewhere as well? Possibly already packaged for the major distros (.deb/.rpm/…)? We just want to be sure we're tracking the source you actually maintain for production users.

Many thanks in advance!

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions