General project updates; rebase onto upstream v6.11; add notes about CONFIG_WERROR

README.md

@@ -5,17 +5,18 @@
 [![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/xlab-uiuc/linux-mcdc/llvm-trunk-linux-v5.15.153.yml?label=LLVM%20trunk%2BLinux%20v5.15.153)](https://github.com/xlab-uiuc/linux-mcdc/actions/workflows/llvm-trunk-linux-v5.15.153.yml)
 
 This repository demonstrates [KUnit](https://docs.kernel.org/dev-tools/kunit/index.html)'s
-modified condition/decision coverage (MC/DC) of 5.15.y Linux kernel using
-[Clang source-based code coverage](https://clang.llvm.org/docs/SourceBasedCodeCoverage.html)
-and [`llvm-cov`](https://llvm.org/docs/CommandGuide/llvm-cov.html). A patch set
-for mainline kernel is also being prepared.
+modified condition/decision coverage (MC/DC) of 5.15.y and mainline Linux kernel
+using [Clang source-based code coverage](https://clang.llvm.org/docs/SourceBasedCodeCoverage.html)
+and [`llvm-cov`](https://llvm.org/docs/CommandGuide/llvm-cov.html).
 
 <!--
 Primary
 development of the kernel patch set is being performed in the [xlab-uiuc/llvm-cov](https://github.com/xlab-uiuc/linux-cov)
 project.
 -->
 
+**LKML discussions: [link](https://lore.kernel.org/lkml/[email protected]/)**
+
 Follow the instructions [here](docs/measure-kernel-mcdc.md) to get started.
 
 Example text coverage report: [link](https://github.com/xlab-uiuc/linux-mcdc/actions/runs/10013137034/job/27681036852#step:8:7) (login with any GitHub account required)
@@ -29,7 +30,7 @@ Tentative repository structure:
 ```text
 linux-mcdc
 |
-├── ci/{linux-v5.15.153}
+├── ci/linux-{v5.15.153,mainline}
 │   ├── 1_install_deps.sh
 │   ├── 2_pull_source.sh
 │   ├── 3_get_llvm.sh
@@ -42,7 +43,7 @@ linux-mcdc
 |
 ├── patches
 │   ├── README.md
-│   └── {v0.4,v0.5,v0.6}
+│   └── {v0.4,v0.5,v0.6,v1.0,v2.0,latest}
 |
 ├── README.md
 |
@@ -53,6 +54,12 @@ linux-mcdc
     └── q
 ```
 
+We are going to give three talks in [LPC 2024](https://lpc.events/event/18/page/224-lpc-2024-overview):
+
+- [Making Linux Fly: Towards a Certified Linux Kernel](https://lpc.events/event/18/contributions/1718/) (Refereed Track)
+- [Measuring and Understanding Linux Kernel Tests](https://lpc.events/event/18/contributions/1793/) (Kernel Testing & Dependability MC)
+- [Source-based code coverage of Linux kernel](https://lpc.events/event/18/contributions/1895/) (Safe Systems with Linux MC)
+
 We gave an [ELISA](https://elisa.tech/) seminar titled "Making Linux Fly: Towards Certified Linux
 Kernel".
 [[recording](https://elisa.tech/blog/2024/05/28/making-linux-fly-towards-certified-linux-kernel/)]

patches/v2.0/0000-cover-letter.patch

@@ -1,7 +1,7 @@
 From 7c60851daae39815fa696fc2265e838b1913f7ac Mon Sep 17 00:00:00 2001
 From: Wentao Zhang <[email protected]>
 Date: Wed, 4 Sep 2024 18:13:07 -0500
-Subject: [RFC PATCH 0/4] Enable measuring the kernel's Source-based Code Coverage and MC/DC with Clang
+Subject: [PATCH v2 0/4] Enable measuring the kernel's Source-based Code Coverage and MC/DC with Clang
 
 This series adds support for building x86-64 kernels with Clang's Source-
 based Code Coverage[1] in order to facilitate Modified Condition/Decision

patches/v2.0/0001-llvm-cov-add-Clang-s-Source-based-Code-Coverage-supp.patch

@@ -1,7 +1,7 @@
 From 13c86fc7877aec4892832554845968d7415f2960 Mon Sep 17 00:00:00 2001
 From: Wentao Zhang <[email protected]>
 Date: Fri, 30 Aug 2024 14:48:03 -0500
-Subject: [RFC PATCH 1/4] llvm-cov: add Clang's Source-based Code Coverage
+Subject: [PATCH v2 1/4] llvm-cov: add Clang's Source-based Code Coverage
  support
 
 Add infrastructure to support Clang's source-based code coverage [1]. This

patches/v2.0/0002-llvm-cov-add-Clang-s-MC-DC-support.patch

@@ -1,7 +1,7 @@
 From e7d38a2115b9c1041dcda404f102888c9894da10 Mon Sep 17 00:00:00 2001
 From: Wentao Zhang <[email protected]>
 Date: Fri, 30 Aug 2024 14:49:24 -0500
-Subject: [RFC PATCH 2/4] llvm-cov: add Clang's MC/DC support
+Subject: [PATCH v2 2/4] llvm-cov: add Clang's MC/DC support
 
 Add infrastructure to enable Clang's Modified Condition/Decision Coverage
 (MC/DC) [1].

patches/v2.0/0003-x86-disable-llvm-cov-instrumentation.patch

@@ -1,7 +1,7 @@
 From f4cc26b9d49b7c34671c04a8b62485a311530298 Mon Sep 17 00:00:00 2001
 From: Wentao Zhang <[email protected]>
 Date: Fri, 30 Aug 2024 14:48:53 -0500
-Subject: [RFC PATCH 3/4] x86: disable llvm-cov instrumentation
+Subject: [PATCH v2 3/4] x86: disable llvm-cov instrumentation
 
 Disable instrumentation for arch/x86/crypto/curve25519-x86_64.c. Otherwise
 compilation would fail with "error: inline assembly requires more registers

patches/v2.0/0004-x86-enable-llvm-cov-support.patch

@@ -1,7 +1,7 @@
 From 7c60851daae39815fa696fc2265e838b1913f7ac Mon Sep 17 00:00:00 2001
 From: Wentao Zhang <[email protected]>
 Date: Fri, 30 Aug 2024 14:49:06 -0500
-Subject: [RFC PATCH 4/4] x86: enable llvm-cov support
+Subject: [PATCH v2 4/4] x86: enable llvm-cov support
 
 Set ARCH_HAS_* options to "y" in kconfig and include section description in
 linker script.