Ironclad as Linux Replacement, Linux Kernel Increasingly Tolerates Slop (Plagiarism, Bugs, Worse Aspects)

posted by Roy Schestowitz on Nov 10, 2025

• Ironclad ☛ Ironclad

  Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.

  Ironclad features a familiar POSIX-compatible interface, true simultaneous preemptive multitasking, Mandatory Access Control (MAC), and support for hard real-time scheduling.

• LWN ☛ A proposed kernel policy for LLM-generated contributions [Ed: Truly terrible idea]

  The kernel community is currently reviewing a

  proposed policy for contributors who are using large language models to

  assist in the creation of their patches; the primary focus is on disclosure

  of the use of those tools. "The goal here is to clarify community

  expectations around tools. This lets everyone become more productive while

  also maintaining high degrees of trust between submitters and

  reviewers."