Kernel formal methods mailing list?
2026-11-06 19:48 UTC (6+ messages)
[PATCH rtw-next v2 6/7] wifi: rtw88: 88xxa: adapt channel sensing to receiver gain
2026-11-06 19:46 UTC (3+ messages)
[PATCH 0/2] mm/memfd: handle GUP references reliably when write-sealing
2026-11-06 19:46 UTC (3+ messages)
` [PATCH 2/2] "
[PATCH v2] kbuild: AutoFDO: Disable Profi (-fno-sample-profile-use-profi)
2026-11-06 19:45 UTC (3+ messages)
[PATCH v9 00/25] KVM: arm64: SMMUv3 driver for pKVM (trap and emulate)
2026-11-06 19:45 UTC (5+ messages)
` [PATCH v9 16/25] iommu/arm-smmu-v3-kvm: Emulate CMDQ for host
` [PATCH v9 17/25] iommu/arm-smmu-v3-kvm: Shadow stream table
[PATCH v8 0/3] ACPI / cpufreq: CPPC: Add ospm_nominal_perf support
2026-11-06 19:43 UTC (5+ messages)
[PATCH] staging: media: ipu3: Fix alignment issues and remove an unnecessary blank line in ipu3-v4l2.c
2026-11-06 19:42 UTC
[PATCH] powercap: intel_rapl: Expose package CPUs in associated_cpus
2026-11-06 19:41 UTC (2+ messages)
[PATCH v5 0/3] KEYS: Replace assoc_array with rhashtable
2026-11-06 19:41 UTC (9+ messages)
` [PATCH v5 2/3] "
[PATCH] Revert "Input: synaptics - enable SMBus for HP Elitebook 850 G1"
2026-11-06 19:40 UTC
[PATCH] firmware: arm_scmi: Drop the ARM architecture dependency
2026-11-06 19:40 UTC
[PATCH V4 0/5] Hyper-V: root VM iommu kernel only driver
2026-11-06 19:39 UTC (3+ messages)
` [PATCH V4 2/5] PCI: hv: Export hv_build_devid_type_pci() and change return type
[PATCH] kbuild: AutoFDO: Disable Profi (-fno-sample-profile-use-profi)
2026-11-06 19:39 UTC (7+ messages)
[PATCH v3 00/18] KVM: x86/pmu: Add mediated vPMU PerfMon v5 support
2026-11-06 19:37 UTC (13+ messages)
` [PATCH v3 01/18] KVM: x86/pmu: Remove redundant Perf Global Status MSR bit definitions
` [PATCH v3 02/18] KVM: x86/pmu: Rename all_valid_pmc_idx to pmc_exists
` [PATCH v3 03/18] KVM: x86/pmu: Rename reserved_bits to eventsel_rsvd in kvm_pmu
` [PATCH v3 04/18] KVM: x86/pmu: Add PMC bitmap accessor helpers
` [PATCH v3 05/18] KVM: x86/pmu: Drop nr_arch_{gp,fixed}_counters from kvm_pmu
` [PATCH v3 06/18] KVM: x86/pmu: Expose kvm_host_pmu to vendor modules
[PATCH 0/3] pinctrl: add Zhihe A210 pin controller support
2026-11-06 19:36 UTC (4+ messages)
` [PATCH 1/3] dt-bindings: vendor-prefixes: add Zhihe
` [PATCH 2/3] dt-bindings: pinctrl: add Zhihe A210 pin controller
` [PATCH 3/3] pinctrl: zhihe: add A210 support
[PATCH] Documentation: devres: warn about device nodes in managed memory
2026-11-06 19:36 UTC
[PATCH] coccinelle: api: add a checker for device nodes in devm_ memory
2026-11-06 19:35 UTC
[PATCH net-next v3 0/2] net: prevent mixing incompatible memory providers in skbs
2026-11-06 19:34 UTC (4+ messages)
` [PATCH net-next v3 2/2] net: prevent mixing frags from different memory providers or bindings
[PATCH 0/7] Add Amlogic S7 clock controllers
2026-11-06 19:34 UTC (4+ messages)
` [PATCH 6/7] dt-bindings: clock: Add Amlogic S7 peripherals clock controller
[PATCH v7 2/2] i2c: amlogic: Add Amlogic A9 I2C controller driver
2026-11-06 19:33 UTC (2+ messages)
[BUG] bpf, lsm: new first argument in 7.4 inode hooks silently breaks BPF LSMs
2026-11-06 19:33 UTC (3+ messages)
[PATCH v9 0/8] ACPI / cpufreq: CPPC: Preserve OSPM-set registers and add ospm_nominal_perf
2026-11-06 19:33 UTC (9+ messages)
` [PATCH v9 1/8] ACPI: CPPC: Order performance-control updates
` [PATCH v9 2/8] cpufreq: CPPC: Keep the policy across CPU hotplug
` [PATCH v9 3/8] ACPI: CPPC: Make autonomous selection helpers take a u64
` [PATCH v9 4/8] cpufreq: CPPC: Preserve OSPM-set registers across hotplug and unload
` [PATCH v9 5/8] cpufreq: CPPC: Preserve OSPM-set registers across suspend/resume
` [PATCH v9 6/8] ACPI: CPPC: Add ospm_nominal_perf support
` [PATCH v9 7/8] cpufreq: CPPC: Add ospm_nominal_freq attribute
` [PATCH v9 8/8] cpufreq: CPPC: Reflect the OSPM nominal in boost and limits
[PATCH net-next v2 1/2] tls: read sk_err once in tls_encrypt_done()
2026-11-06 19:32 UTC (2+ messages)
` [PATCH net-next v2 2/2] tls: make the record number wrap abort final
[PATCH v3] counter: ti-eqep: use devm for runtime PM to
2026-11-06 19:32 UTC (2+ messages)
[PATCH v1 0/3] Introduce cros_ec power monitoring
2026-11-06 19:31 UTC (4+ messages)
` [PATCH v1 1/3] platform/chrome: cros_ec: fix alignment of ec_params_pwrmon
` [PATCH v1 2/3] iio: adc: add cros_ec_pwrmon driver
` [PATCH v1 3/3] mfd: cros_ec: load cros_ec_pwrmon on supported ECs
[PATCH] Bluetooth: qca: Disable SoC debug logging for WCN3990
2026-11-06 19:29 UTC (3+ messages)
[PATCH 0/7] drm/msm, media: define the UBWC buffer layout
2026-11-06 19:28 UTC (12+ messages)
` [PATCH 7/7] media: qcom: iris: describe QC10C as TP10
[syzbot] [dm?] divide error in cache_ctr
2026-11-06 19:21 UTC (2+ messages)
` Forwarded: [PATCH] dm cache: fix divide error in too_many_discard_blocks
[PATCH v5] security: Expand task_setscheduler LSM hook
2026-11-06 19:21 UTC (2+ messages)
[PATCH] drm/panel-edp: add BOE NS140WUM-L61 entry
2026-11-06 19:17 UTC (2+ messages)
[PATCH 1/2] ASoC: amd: acp: add Cirrus SoundWire configs for ACP7.F
2026-11-06 19:16 UTC (2+ messages)
` [PATCH 2/2] ASoC: amd: acp: add SoundWire speaker quirks for Dell platforms
[PATCH v6 0/3] scsi: ufs: core: Avoid redundant link recovery from the error handler during PM
2026-11-06 19:15 UTC (6+ messages)
` [PATCH v6 2/3] scsi: ufs: core: Limit early link recovery in the error handler to runtime PM
[PATCH] nilfs2: zero-fill post-EOF data on mmap write and size extension
2026-11-06 19:14 UTC (2+ messages)
[PATCH net v5 0/4] bnxt_en: Make RING FREE more robust
2026-11-06 19:14 UTC (5+ messages)
` [PATCH net v5 1/4] bnxt_en: return the RING_FREE status to callers
` [PATCH net v5 2/4] bnxt_en: check HWRM response if completion never arrives
` [PATCH net v5 3/4] bnxt_en: stop DMA before releasing rings the firmware did not free
` [PATCH net v5 4/4] bnxt_en: refuse to open a device with stopped DMA
[PATCH 2/2] iio: magnetometer: add Infineon TLE493D-W2B6 driver
2026-11-06 19:13 UTC (2+ messages)
[PATCH v3 3/5] drm/ingenic: Add a driver for the X1600 display controller
2026-11-06 19:13 UTC (5+ messages)
[BUG] tpm: prolonged stall in vtpm_proxy_fops_release() on Linux 7.3
2026-11-06 19:11 UTC (3+ messages)
[RFC: DMA_PMD 00/22] DMA_PMD: PMD_SIZE-backed IO buffer pools
2026-11-06 19:11 UTC (15+ messages)
[PATCH v2] vfio/ccw: Flush notoper_work before returning from reset
2026-11-06 19:10 UTC
[PATCH v2 0/4] cpuset: preparatory fixes and cleanups for partition rework
2026-11-06 19:10 UTC (3+ messages)
` [PATCH v2 1/4] cgroup/cpuset: Reset partition data when an invalid partition stays invalid
[PATCH 2/2] ksmbd: add AES-GMAC signing support
2026-11-06 19:06 UTC (6+ messages)
` [PATCH v2 0/4] ksmbd: verify session setup requests before signing with their key
` [PATCH v2 1/4] ksmbd: verify the signature of session binding requests
` [PATCH v2 2/4] ksmbd: sign with the negotiated SMB 3.1.1 signing algorithm
` [PATCH v2 3/4] ksmbd: use the channel signing key for session setup on a bound channel
` [PATCH v2 4/4] ksmbd: check a request before signing STATUS_NETWORK_SESSION_EXPIRED
[PATCH] riscv: dts: starfive: jh7110-common: keep the status power LED on
2026-11-06 19:06 UTC (4+ messages)
[PATCH v1] riscv: remove RISCV_ISA_EXT_BUNDLE[_VALIDATE]
2026-11-06 19:05 UTC
[PATCH] mmc: sdhci-cadence: enable probing from ACPI
2026-11-06 19:04 UTC (6+ messages)
[PATCH] drm/msm/gem: Deal with partial mmap's in fault path
2026-11-06 19:03 UTC
[PATCH v2] spi: spi-qpic-snand: fix various errors in qcom_spi_config_single_cw_page_read()
2026-11-06 19:01 UTC
[PATCH v2 0/2] iommufd: remove the last use of set_page_dirty_lock()
2026-11-06 19:01 UTC (3+ messages)
` [PATCH v2 1/2] iommu: allocate the fwspec before dev->iommu in iommu_fwspec_init()
` [PATCH v2 2/2] iommufd: copy to and from folios in batch_rw()
[RFC net-next 0/6] net: configurable extra TX headroom for local egress
2026-11-06 19:00 UTC (6+ messages)
[PATCH v4 0/3] KEYS: Replace assoc_array with rhashtable
2026-11-06 19:00 UTC (4+ messages)
` [PATCH v4 1/3] KEYS: Introduce keyring_is_empty()
[PATCH 0/4] KVM: arm64: Support SVE in protected VMs
2026-11-06 18:59 UTC (4+ messages)
` [PATCH 2/4] KVM: arm64: Allocate a protected vCPU's SVE state at EL2
[PATCH net v3 0/2] net: psp: preserve SKB_EXT_PSP across packet scrubbing
2026-11-06 18:57 UTC (5+ messages)
` [PATCH net v3 1/2] net: Make PSP skb extension survive "
` [PATCH net v3 2/2] selftests/net: psp: test bidirectional data transfer
[PATCH net] netdevsim: take device_lock in new_port and del_port sysfs handlers
2026-11-06 18:57 UTC
RISCV: canaan: Deprecated (oficially) the K210
2026-11-06 18:57 UTC (2+ messages)
[PATCH] apparmor: fix out-of-bounds read in unix socket address audit
2026-11-06 18:55 UTC
[PATCH v2] selftests/cgroup: convert cg_read_*long*() helpers to s64
2026-11-06 18:55 UTC
[PATCH] apparmor: fix out-of-bounds read of xmatch perms during exec attachment
2026-11-06 18:54 UTC
[PATCH v2 0/3] KVM: arm64: Fix the hyp pool size on large machines, plus two hardening patches
2026-11-06 18:53 UTC (7+ messages)
` [PATCH v2 3/3] KVM: arm64: Don't replace a valid hyp block mapping with a table
[PATCH] selftests/mm: add CONFIG_DEBUG_FS to the config fragment
2026-11-06 18:52 UTC (3+ messages)
[PATCH v3 0/3] arm64: dts: qcom: Add CSI2 PHY common-phy providers for SA8775P, QCS8300 and SC7280
2026-11-06 18:51 UTC (2+ messages)
[PATCH 0/5] rcu: Record callback enqueue stacks and add torture tests
2026-11-06 18:49 UTC (2+ messages)
[PATCH bpf-next] sched_ext: Reset task fields on exit of an SCX_TASK_READY task
2026-11-06 18:48 UTC (3+ messages)
` [PATCH v2] "
[PATCH 0/2] wifi: ath: simplify copying a peer's PPE thresholds
2026-11-06 18:48 UTC (3+ messages)
` [PATCH 1/2] wifi: ath11k: "
` [PATCH 2/2] wifi: ath12k: "
[PATCH 7.3 000/547] 7.3.2-rc1 review
2026-11-06 18:48 UTC (2+ messages)
[PATCH net-next 0/2] net: dsa: motorcomm: Add devlink info and resources
2026-11-06 18:48 UTC (3+ messages)
` [PATCH net-next 1/2] net: dsa: motorcomm: Report error when FDB fails to add
` [PATCH net-next 2/2] net: dsa: motorcomm: Add devlink info and resources
[PATCH] media: verisilicon: suspend the device before unregistering it on remove
2026-11-06 18:46 UTC (2+ messages)
[PATCH 0/2] lib/genalloc: fix a NULL pool check and add KUnit tests
2026-11-06 18:46 UTC (3+ messages)
` [PATCH 1/2] lib/genalloc: don't dereference a NULL pool in gen_pool_dma_[z]alloc()
[PATCH v3] HID: wacom: avoid overflows in sequence number tracking
2026-11-06 18:46 UTC (3+ messages)
` [PATCH v4] HID: wacom: avoid divide exception in dropped-packet calculation
[PATCH 0/2] PM: sleep: Fix hibernation resume issues
2026-11-06 18:46 UTC (3+ messages)
` [PATCH 1/2] PM: sleep: Do not mark devices without PM callbacks active on resume
[PATCH 00/25] riscv: add support for the Metanoia MT2824 SoC and MT5824 EVB
2026-11-06 18:46 UTC (7+ messages)
` [PATCH 24/25] riscv: add Metanoia MT2824 SoC and MT5824 EVB support
` [PATCH 25/25] MAINTAINERS: add RISC-V Metanoia SoC support
[PATCH] hwmon: Add driver for MSI Mystic Light controller voltage sensors
2026-11-06 18:43 UTC
[PATCH 0/4] remoteproc: qcom: Fix DA-to-VA bounds checks
2026-11-06 18:43 UTC (5+ messages)
` [PATCH 1/4] remoteproc: qcom: Fix bounds check in adsp_da_to_va()
` [PATCH 2/4] remoteproc: qcom: Fix bounds check in qcom_pas_da_to_va()
` [PATCH 3/4] remoteproc: qcom: Fix bounds check in q6v5_wcss_da_to_va()
` [PATCH 4/4] remoteproc: qcom: Fix bounds check in wcnss_da_to_va()
[PATCH v2] nvmet: accept ANA group ID NVMET_MAX_ANAGRPS in configfs
2026-11-06 18:43 UTC (2+ messages)
[PATCH v2 0/2] nvmet: fix stale log page data and a ZNS Identify error
2026-11-06 18:43 UTC (2+ messages)
[PATCH RFC 0/3] landlock: Add access rights on created files
2026-11-06 18:42 UTC (3+ messages)
[PATCH V1 1/2] drm/gpusvm: add drm_gpusvm_pages unmapped and retry helpers
2026-11-06 18:42 UTC (2+ messages)
` [PATCH V1 2/2] accel/amdxdna: use drm_gpusvm_pages for user mapping tracking
[PATCH] kselftests: dmabuf-heaps: Open heap device files O_RDONLY
2026-11-06 18:42 UTC (4+ messages)
[PATCH v12 0/2] Support for block device NVMEM providers
2026-11-06 18:41 UTC (3+ messages)
` [PATCH v12 1/2] block: partitions: of: Attach partition fwnode to the block device
[PATCH v10 05/13] PCI: liveupdate: Auto-preserve upstream bridges across Live Update
2026-11-06 18:40 UTC (5+ messages)
[PATCH v5 0/2] cpufreq: acpi-cpufreq: fix P-state index mismatch between perf->states[] and freq_table[]
2026-11-06 18:40 UTC (3+ messages)
` [PATCH v5 1/2] cpufreq: acpi-cpufreq: fix P-state index mismatch in get_cur_freq_on_cpu()
` [PATCH v5 2/2] cpufreq: acpi-cpufreq: don't mask firmware P-state changes
[PATCH] ALSA: control: Synchronize LED mode accesses
2026-11-06 18:39 UTC (2+ messages)
` [PATCH v2] "
[PATCH 00/18 v3] Improving latency of short slice tasks
2026-11-06 18:39 UTC (3+ messages)
` [PATCH 04/20 v3] sched/eevdf: Reset lag when waking up on idle cpu
[PATCH v2 0/9] Initial Apple Silicon M5 device trees and dt-bindings
2026-11-06 18:36 UTC (3+ messages)
` [PATCH v2 5/9] dt-bindings: pwm: apple,s5l-fpwm: Add t8142 compatible
[PATCH v8] arm64: kexec_file: Fix elf_headers memory leak in retry loop
2026-11-06 18:36 UTC (2+ messages)
[PATCH v2 0/2] arm64: sdei: Handle exceptions taken inside the event handler
2026-11-06 18:36 UTC (5+ messages)
` [PATCH v2 1/2] arm64: sdei: Run the event handler on the kernel vectors
[PATCH 1/2] mm/vmscan: consolidate promo vs. high watermark checks
2026-11-06 18:35 UTC (4+ messages)
` [PATCH 2/2] mm/page_alloc: only skip kswapd nodes below their kswapd watermark
[PATCH v3 0/7] media: qcom: camss: Add SM8150 CAMSS support
2026-11-06 18:35 UTC (8+ messages)
` [PATCH v3 1/7] dt-bindings: i2c: qcom-cci: Document SM8150 compatible
` [PATCH v3 2/7] dt-bindings: media: qcom,sm8150-camss: Add SM8150 CAMSS
` [PATCH v3 3/7] dt-bindings: phy: qcom,sm8150-csi2-phy: Add SM8150 CSI2 PHY
` [PATCH v3 4/7] media: qcom: camss: Match VFE lite clocks by name prefix
` [PATCH v3 5/7] media: qcom: camss: Add support for SM8150
` [PATCH v3 6/7] phy: qcom-mipi-csi2: Add SM8150 CSI2 DPHY support
` [PATCH v3 7/7] arm64: dts: qcom: sm8150: Add CAMSS and CCI nodes
[PATCH ath-next v3 00/17] wifi: ath12k: Add support for QCN6432
2026-11-06 18:35 UTC (2+ messages)
[PATCH RFC v2 00/11] stackdepot: reduce memory use for persistent stack records with a trie
2026-11-06 18:34 UTC (4+ messages)
[PATCH 0/2] rtc: pcf85063: Add NXP PCA85074A support
2026-11-06 18:34 UTC (4+ messages)
` [PATCH 1/2] dt-bindings: rtc: pcf85063: Add NXP PCA85074A
[PATCH v2 0/2] PCI/CXL: Guard MMIO accesses during reset recovery
2026-11-06 18:30 UTC (3+ messages)
` [PATCH v2 1/2] PCI/MSI: Skip MSI-X restoration when configuration is inaccessible
[PATCH v2] mm/huge_memory: prevent losing PG_waiters in __split_folio_to_order()
2026-11-06 18:28 UTC
[PATCH 0/2] pinctrl: qcom: Allow arming the wakeup_enable bit from pin config
2026-11-06 18:27 UTC (4+ messages)
` [PATCH v1 1/2] dt-bindings: pinctrl: qcom,tlmm-common: Add wakeup-enable
[PATCH] crypto: ecc - Use constant-time modular inversion in ecc_point_mult()
2026-11-06 18:26 UTC (3+ messages)
` [PATCH] crypto: ecc - Randomize the initial Z in ecc_make_pub_key()
Linux 7.3.3
2026-11-06 18:25 UTC (2+ messages)
Linux 6.18.62
2026-11-06 18:25 UTC (2+ messages)
Linux 6.12.116
2026-11-06 18:25 UTC (2+ messages)
Linux 6.6.162
2026-11-06 18:25 UTC (2+ messages)
Linux 6.1.192
2026-11-06 18:25 UTC (2+ messages)
Linux 5.15.225
2026-11-06 18:24 UTC (2+ messages)
Linux 5.10.274
2026-11-06 18:24 UTC (2+ messages)
[PATCH v10 00/20] tools/perf: Adopt kernel compiler-context-analysis.h annotations
2026-11-06 18:22 UTC (3+ messages)
` [PATCH v10 01/20] compiler-context-analysis: Avoid unused parameter warning in _context_unsafe_alias()
linux-next: no release today
2026-11-06 18:22 UTC
[PATCH] md: dont warn about sb update on auto read only arrays
2026-11-06 18:20 UTC
[PATCH] HID: corsair: cancel the LED work again after unregistering the LED
2026-11-06 18:19 UTC
[PATCH v2] futex: Use a keyed hash for global futex buckets
2026-11-06 18:19 UTC (3+ messages)
[PATCH 05/13] wifi: brcmfmac: Negotiate PCIe mailbox transport with firmware
2026-11-06 18:18 UTC (3+ messages)
[PATCH 0/3] rtc: Add StarFive JH7110 RTC support
2026-11-06 18:16 UTC (3+ messages)
` [PATCH 1/3] dt-bindings: rtc: Add StarFive JH7110 RTC
[PATCH] arm64: suspend: Only track cpuidle context for idle tasks
2026-11-06 18:16 UTC (2+ messages)
[PATCH v3 bpf-next 0/3] riscv: bpf: Add BPF private stack support
2026-11-06 18:15 UTC (4+ messages)
` [PATCH v3 bpf-next 1/3] "
` [PATCH v3 bpf-next 2/3] selftests/bpf: Enable private stack tests for riscv64
` [PATCH v3 bpf-next 3/3] selftests/bpf: Test a private stack together with stack arguments
[PATCH v2] ASoC: sunxi: sun50i-dmic: Reorder clock enable sequence
2026-11-06 15:00 UTC (2+ messages)
[PATCH] ASoC: pcm512x: fix SCLK/supplies leak on resume failure
2026-11-06 14:49 UTC (2+ messages)
[PATCH v2] ASoC: cpcap: use the platform OF node setter
2026-11-06 14:32 UTC (2+ messages)
[PATCH 0/2] ASoC: amd: acp: supplement patches for ACP7.B/7.F SoundWire machine driver series
2026-11-06 14:20 UTC (2+ messages)
[PATCH v2 00/10] ASoC: fsl_sai: Address several issues in the driver
2026-11-06 14:19 UTC (2+ messages)
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®