Kernel formal methods mailing list?
2026-11-06 0:42 UTC (5+ messages)
[PATCH v2 00/17] PCI: Index saved capability state by configuration space offset
2026-11-06 0:42 UTC (15+ messages)
` [PATCH v2 01/17] PCI/DPC: Allocate the DPC save buffer during device setup
` [PATCH v2 02/17] PCI: Add an offset-indexed store for saved capability registers
` [PATCH v2 03/17] PCI: Lay out struct pci_saved_state by configuration space offset
` [PATCH v2 04/17] PCI: Save PCIe state in the saved capability store
` [PATCH v2 05/17] PCI: Save PCI-X "
` [PATCH v2 06/17] PCI/ASPM: Save LTR "
` [PATCH v2 07/17] PCI/ASPM: Save L1SS "
` [PATCH v2 08/17] PCI/AER: Save AER "
` [PATCH v2 09/17] PCI/PTM: Save PTM "
` [PATCH v2 10/17] PCI/TPH: Save TPH "
` [PATCH v2 11/17] PCI/DPC: Save DPC "
` [PATCH v2 12/17] PCI: Save ACS "
` [PATCH v2 13/17] PCI/VC: Split the VC Resource Control restore into a helper
` [PATCH v2 14/17] PCI/VC: Save VC state in the saved capability store
[PATCH v8 00/20] KVM: x86: Enable APX for guests
2026-11-06 0:40 UTC (17+ messages)
` [PATCH v8 01/20] KVM: x86: Extend VCPU registers for EGPRs
` [PATCH v8 02/20] KVM: VMX: Save guest EGPRs in VCPU cache
` [PATCH v8 03/20] KVM: x86: Support APX state for XSAVE ABI
` [PATCH v8 04/20] KVM: VMX: Refactor VMX instruction information access
` [PATCH v8 05/20] KVM: VMX: Refactor instruction information decoding
` [PATCH v8 06/20] KVM: VMX: Remove unused control-register access defines
` [PATCH v8 07/20] KVM: VMX: Refactor register index retrieval from exit qualification
` [PATCH v8 08/20] KVM: VMX: Support instruction information extension
[PATCH 0/2] dmaengine: ma35d1-pdma: Add MA35D1 PDMA driver
2026-11-06 0:39 UTC (5+ messages)
` [PATCH 2/2] "
[PATCH] power: supply: bq25890: cancel pump work before supply removal
2026-11-06 0:37 UTC (2+ messages)
[PATCH v9 0/9] PCI: dw-rockchip: add system suspend support
2026-11-06 0:35 UTC (2+ messages)
[PATCH 00/14] mm: convert further simple mmap hooks to mmap_prepare
2026-11-06 0:34 UTC (6+ messages)
` [PATCH 07/14] selinuxfs: convert "
` [PATCH 13/14] ptp: vmclock: convert mmap hook "
[PATCH 0/4] clk: Add the Siflower SF19A2890 clock manager and peripheral clock and reset managers
2026-11-06 0:34 UTC (4+ messages)
` [PATCH 3/4] dt-bindings: clock: Add Siflower SF19A2890 peripheral clock/reset managers
[PATCH net v2 0/2] net: psp: preserve SKB_EXT_PSP across packet scrubbing
2026-11-06 0:33 UTC (7+ messages)
` [PATCH net v2 1/2] net: Make PSP skb extension survive "
` [PATCH net v2 2/2] selftests/net: psp: test bidirectional data transfer
[PATCH 7.3 000/547] 7.3.2-rc1 review
2026-11-06 0:31 UTC (3+ messages)
[PATCH] pinctrl: amd: Clear interrupt enable on spurious IRQ and skip unhandled EOI
2026-11-06 0:27 UTC (3+ messages)
[PATCH 0/2] SafeSetID: use real GID for GID policy lookups
2026-11-06 0:25 UTC (4+ messages)
` [PATCH 1/2] security: safesetid: use real GID for GID policy lookup
[PATCH v2 0/2] mm/cma: fix range selection in cma_declare_contiguous_multi()
2026-11-06 0:23 UTC (2+ messages)
[PATCH] staging: sm750fb: make g_fbmode constant array
2026-11-06 0:21 UTC (2+ messages)
[PATCH] kbuild: AutoFDO: Enable -salvage-stale-profile
2026-11-06 0:20 UTC (10+ messages)
[PATCH net 0/3] vsock/virtio: bound what a peer can make the host queue
2026-11-06 0:19 UTC (3+ messages)
` [PATCH net 3/3] vsock/virtio: queue at most one credit update per socket
[PATCH v9 00/25] KVM: arm64: SMMUv3 driver for pKVM (trap and emulate)
2026-11-06 0:13 UTC (7+ messages)
` [PATCH v9 13/25] iommu/arm-smmu-v3-kvm: Add MMIO emulation
` [PATCH v9 14/25] iommu/arm-smmu-v3-kvm: Shadow the command queue
` [PATCH v9 15/25] iommu/arm-smmu-v3-kvm: Add CMDQ functions
[PATCH net-next 0/2] net: stmmac: Add the Siflower SF19A2890 glue
2026-11-06 0:12 UTC (8+ messages)
` [PATCH net-next 1/2] dt-bindings: net: Add Siflower SF19A2890 GMAC
[PATCH net-next v1 0/4] net: devmem: support leased RX and TX queues on netdev unregister
2026-11-06 0:10 UTC (3+ messages)
` [PATCH net-next v1 3/4] net: devmem: support leased "
[PATCH v18 00/12] ALSA: virtio: fix capture lifetime and accounting
2026-11-06 0:06 UTC (13+ messages)
` [PATCH v18 01/12] ALSA: pcm: mark stop-threshold accesses for capture policy sampling
` [PATCH v18 02/12] ALSA: pcm: report partial progress under the stream lock
` [PATCH v18 03/12] ALSA: pcm: add an optional reset operation "
` [PATCH v18 04/12] ALSA: virtio: Propagate PCM send failures through ACK
` [PATCH v18 05/12] ALSA: virtio: Recover PCM state after a failed start
` [PATCH v18 06/12] ALSA: virtio: Retain queued messages through device reset
` [PATCH v18 07/12] ALSA: virtio: retain PCM DMA pages and validate capture ring ownership
` [PATCH v18 08/12] ALSA: virtio: Keep control payloads alive through DMA completion
` [PATCH v18 09/12] ALSA: virtio: wait through signals for PCM teardown
` [PATCH v18 10/12] ALSA: virtio: serialize staged capture lifecycle and defer paused XRUNs
` [PATCH v18 11/12] ALSA: virtio: prioritize staged capture period work
` [PATCH v18 12/12] docs: describe virtio-sound capture options
[PATCH v5 0/2] HID: flydigi: add support for vader 5 pro
2026-11-06 0:03 UTC (2+ messages)
[PATCH] EDAC/amd64: Fix double free of private data on registration failure
2026-11-06 0:02 UTC (2+ messages)
[PATCH v1 0/2] Add strprefix() and fix a bug with it
2026-11-06 0:01 UTC (13+ messages)
` [PATCH v1 1/2] string: Add strprefix(), and deprecate str_has_prefix()
[REGRESSION] sched/idle: Sysbench threads regression after f4c31b07b136
2026-11-05 23:59 UTC (7+ messages)
` [PATCH] sched/idle: Stop the tick when no cpuidle driver is available
MAP_FIXED leaving holes on failure is very difficult to recover from and can even be a security hole
2026-11-05 23:59 UTC (3+ messages)
[PATCH v3] mm: bypass swap readahead for zswap
2026-11-05 23:58 UTC (4+ messages)
[PATCH v2] iio: hid-sensors: fix fractional part for unit exponents -7 and -8
2026-11-05 23:56 UTC (3+ messages)
[syzbot] BUG: spinlock already unlocked in corrupted
2026-11-05 23:55 UTC (2+ messages)
[PATCH v8 00/11] Add Initial Support For MSM8952, Add General Mobile Shamrock
2026-11-05 23:54 UTC (3+ messages)
` [PATCH v8 03/11] dt-bindings: watchdog: qcom-wdt: Document MSM8952 watchdog
[PATCH net v3 0/2] sfc: fix use-after-free of aRFS work on ring resize
2026-11-05 23:51 UTC (2+ messages)
[PATCH v3 0/4] phy: qcom-mipi-csi2: Add D-PHY support for sa8775p, qcs8300 and sc7280
2026-11-05 23:51 UTC (5+ messages)
` [PATCH v3 1/4] dt-bindings: phy: qcom: Add common qcom,csi2-phy
` [PATCH v3 2/4] phy: qcom-mipi-csi2: Make OPP table optional
` [PATCH v3 3/4] phy: qcom-mipi-csi2: Add sa8775p D-PHY support
` [PATCH v3 4/4] phy: qcom-mipi-csi2: Add sc7280 D-PHY provider
[PATCH v2] net: ipa: Drop unused qmi_elem_info arrays
2026-11-05 23:50 UTC (2+ messages)
[PATCH v16 00/20] TDX KVM selftests
2026-11-05 23:47 UTC (21+ messages)
` [PATCH v16 01/20] KVM: selftests: Add macros to simplify creating VM shapes for non-default types
` [PATCH v16 02/20] KVM: selftests: Update kvm_init_vm_address_properties() for TDX
` [PATCH v16 03/20] KVM: selftests: Initialize the TDX VM
` [PATCH v16 04/20] KVM: selftests: Expose segment definitions to assembly files
` [PATCH v16 05/20] tools: include: Add kbuild.h for assembly structure offsets
` [PATCH v16 06/20] KVM: selftests: Introduce structures for TDX guest boot parameters
` [PATCH v16 07/20] KVM: selftests: Add TDX boot code
` [PATCH v16 08/20] KVM: selftests: Expose functions to get default sregs values
` [PATCH v16 09/20] KVM: selftests: Set up TDX boot code region
` [PATCH v16 10/20] KVM: selftests: Set up TDX boot parameters region
` [PATCH v16 11/20] KVM: selftests: Require guest_memfd for TDX VMs
` [PATCH v16 12/20] KVM: selftests: Call KVM_TDX_INIT_VCPU when creating a new TDX vcpu
` [PATCH v16 13/20] KVM: selftests: Load per-vCPU guest stack in TDX boot parameters
` [PATCH v16 14/20] KVM: selftests: Set entry point for TDX guest code
` [PATCH v16 15/20] KVM: selftests: Add helpers to init TDX memory and finalize VM
` [PATCH v16 16/20] KVM: selftests: Load private memory and finalize TDX VM in kvm_arch_vm_finalize_vcpus()
` [PATCH v16 17/20] KVM: selftests: Add a helper to issue TDVMCALLs from the TDX vm
` [PATCH v16 18/20] KVM: selftests: Add support for per-VM ucall ops on x86
` [PATCH v16 19/20] KVM: selftests: Add support for TDX ucalls, via TDVMCALL_REPORT_FATAL_ERROR
` [PATCH v16 20/20] KVM: selftests: Add TDX lifecycle test
[PATCH] PCI/ASPM: Add missing NULL check for link in sysfs show/store callbacks
2026-11-05 23:46 UTC
[PATCH v33 net-next 0/8] nbl driver for Nebulamatrix NICs
2026-11-05 23:41 UTC (2+ messages)
[PATCH] scsi: lpfc: Use isdigit() in lpfc_wwn_set()
2026-11-05 23:40 UTC
[PATCH net-next 0/2] net: mctp: Add MCTP transport for the Axiado AX3005 IRoT
2026-11-05 23:40 UTC (2+ messages)
[PATCH v2] mm/hugetlb: add htlb_dissolve vmstat event
2026-11-05 23:39 UTC (2+ messages)
[PATCH 7.1.y 7.2.y 7.3.y] alpha: honor force_successful_syscall_return() again
2026-11-05 23:39 UTC
[BUG] RDMA/core: slab-use-after-free in iwpm_mapping_error_cb
2026-11-05 23:36 UTC
[PATCH RFC bpf-next 0/2] bpf: Do not let preemption cause false recursion drops in trampoline progs
2026-11-05 23:35 UTC (7+ messages)
` [EXT.MSG] "
[PATCH RFC] KVM: arm64: Document that overlapping MEM_SHARE and MEM_UNSHARE are unordered
2026-11-05 23:34 UTC
[PATCH v3 00/27] KVM: nSVM: Optimize nSVM TLB flushes
2026-11-05 23:31 UTC (9+ messages)
` [PATCH v3 26/27] KVM: nSVM: Use different ASIDs for L1 and L2
[PATCH] scripts/tags.sh: fix Kconfig indexing when using etags from emacs package
2026-11-05 23:30 UTC (2+ messages)
[PATCH v4 0/3] drm: remove deprecated *_of_get_bridge() from non-OF drivers
2026-11-05 23:27 UTC (4+ messages)
` [PATCH v4 3/3] drm/vc4: dsi: remove unnecessary intermediate pointer computation
[PATCH v1 1/1] regmap: Add REG_FIELD_GENMASK() helper macro
2026-11-05 23:26 UTC (5+ messages)
[PATCH 1/5] elf-parse: avoid an undefined shift when checking the ELF type
2026-11-05 23:23 UTC (3+ messages)
` [PATCH v2] "
[PATCH 0/2] media: rockchip: rkcif: ENUM_FMT and bytesperline fixes
2026-11-05 23:23 UTC (3+ messages)
` [PATCH 1/2] media: rockchip: rkcif: Filter enumerated formats by media bus code
` [PATCH 2/2] media: rockchip: rkcif: Honour the requested bytesperline on MIPI
[PATCH net] amt: tear down every amt device on an unregistering lower
2026-11-05 23:23 UTC
[PATCH] Revert "uio: use threaded interrupts"
2026-11-05 23:22 UTC
[PATCH] PCI: Add d3cold delay quirk for NVIDIA LR10 NVSwitch
2026-11-05 23:21 UTC (3+ messages)
[PATCH] nvdimm/pmem: Fix disk resource cleanup on initialization failure
2026-11-05 23:21 UTC (2+ messages)
[PATCH 6.18 0000/1005] 6.18.61-rc1 review
2026-11-05 23:20 UTC (2+ messages)
[PATCH net-next v2] netdevsim: reject port addition and clean up ports after a failed reload
2026-11-05 23:20 UTC (2+ messages)
[PATCH] perf stat: Fix aggregation of cgroup events
2026-11-05 23:18 UTC (2+ messages)
[PATCH v2 0/2] kbuild: deb-pkg: allow to set package name version
2026-11-05 23:17 UTC (2+ messages)
[PATCH 00/13] mm: continue vma_flags_t conversion
2026-11-05 23:17 UTC (3+ messages)
` [PATCH 13/13] security: convert VMA flag tests to use vma_flags_t
[PATCH net] net: ibm: emac: fix MR0 write in emac_rx_enable()
2026-11-05 23:17 UTC (2+ messages)
[PATCH v2] media: mali-c55: Require an enabled link to start a video node
2026-11-05 23:15 UTC
[PATCH] PCI/ATS: Disable ATS when ACS TB is set upstream
2026-11-05 23:15 UTC (3+ messages)
[PATCH net] net: ibm: emac: fix TX skb double free in emac_full_tx_reset()
2026-11-05 23:15 UTC
[PATCH net-next 0/3]: net: sb1250-mac: ethtool link updates
2026-11-05 23:14 UTC (8+ messages)
` [PATCH net-next 1/3] net: sb1250-mac: Add ethtool link settings support
` [PATCH net-next 2/3] net: sb1250-mac: Advertise and honor RX checksum offload
` [PATCH net-next 3/3] net: sb1250-mac: Add ethtool autonegotiation restart support
[PATCH] kbuild: AutoFDO: Disable Profi (-fno-sample-profile-use-profi)
2026-11-05 23:12 UTC
[PATCH] kbuild: depmod: fallback to /boot/System.map-KERNELRELEASE
2026-11-05 23:09 UTC (3+ messages)
[PATCH 0/4] media: ov9734: Support the Microsoft Surface Laptop 1 front camera
2026-11-05 23:05 UTC (5+ messages)
` [PATCH 1/4] media: ipu-bridge: Add OV9734 to the supported sensors list
` [PATCH 2/4] media: i2c: ov9734: Defer probe until the fwnode graph endpoint exists
` [PATCH 3/4] media: i2c: ov9734: Add reset GPIO, supplies and PM callbacks
` [PATCH 4/4] media: i2c: ov9734: Support control events
[PATCH v2 0/3] KVM: arm64: Fix the hyp pool size on large machines, plus two hardening patches
2026-11-05 22:59 UTC (4+ messages)
` [PATCH v2 1/3] KVM: arm64: Compute hyp early-allocation and pool sizes in 64 bits
` [PATCH v2 2/3] KVM: arm64: Check the host stage-2 PGD allocation for NULL
` [PATCH v2 3/3] KVM: arm64: Don't replace a valid hyp block mapping with a table
[PATCH v2 0/3] drm/msm/a5xx: Fix GPU stalls on A508, A509 and A512
2026-11-05 22:59 UTC (4+ messages)
` [PATCH v2 1/3] drm/msm/a5xx: Reset the GPU when resuming it
[PATCH] dax/pmem: fix unaligned compound devmap initialization
2026-11-05 22:58 UTC (2+ messages)
[PATCH v6 00/10] drm/tegra: Add support for Tegra20/Tegra30 8-bit CPU interface
2026-11-05 22:58 UTC (3+ messages)
` [PATCH v6 09/10] dt-bindings: display: tegra: Document 8-bit CPU parallel interface
[PATCH v3 0/3] vfio/pci: fix huge_fault write handling and add selftest
2026-11-05 22:56 UTC (4+ messages)
` [PATCH v3 2/3] vfio: selftests: Add vfio_pci_find_mem_bar() helper
[PATCH net-next v4 0/6] net: phy: mediatek: calibration for AN7581/3
2026-11-05 22:47 UTC (3+ messages)
` [PATCH net-next v4 5/6] net: phy: mediatek: add calibration logic for AN7581
[PATCH v2] mm/filemap: stop fault-around when the walk steps back
2026-11-05 22:43 UTC (8+ messages)
[PATCH net-next v2 0/3] ionic: make the device command timeout configurable
2026-11-05 22:43 UTC (4+ messages)
` [PATCH net-next v2 1/3] ionic: make the command timeout per device
` [PATCH net-next v2 2/3] RDMA/ionic: Use the ionic command timeout for the admin queue
` [PATCH net-next v2 3/3] ionic: add devlink param for command timeout
[PATCH 0/2] btrfs: balance item fixes
2026-11-05 22:43 UTC (5+ messages)
` [PATCH 1/2] btrfs: overwrite a leftover balance item instead of BUG_ON()
[PATCH net v3] tcp: prevent cross-family skb processing after disconnect
2026-11-05 22:39 UTC (2+ messages)
[PATCH net] cxgb4: clear the sge maps and bitmaps freed on adap_init0() failure
2026-11-05 22:35 UTC (2+ messages)
[PATCH 0/7] ARM: dts: arm: Another batch of warning fixes
2026-11-05 22:34 UTC (8+ messages)
` [PATCH 1/7] dt-bindings: arm: vexpress-sysreg: Add "mcc" child node
` [PATCH 2/7] ARM: dts: arm/vexpress: Move "arm,vexpress,config-bus" node into sysreg node
` [PATCH 3/7] ARM: dts: arm/vexpress-v2m: Move regulator and led nodes out of bus
` [PATCH 4/7] ARM: dts: arm: Use standard node names
` [PATCH 5/7] ARM: dts: arm: Add missing "#dma-cells"
` [PATCH 6/7] ARM: dts: arm/vexpress: Fix Cortex-A15 GIC compatibles
` [PATCH 7/7] ARM: dts: arm-realview-eb-mp: Move "pmu" node to top-level
[PATCH] ksmbd: refuse to read a handle that is not open for reading
2026-11-05 22:34 UTC (3+ messages)
[PATCH bpf-next v2 0/6] kallsyms: Add KALLSYMS_QUERY ioctl to /proc/kallsyms
2026-11-05 22:31 UTC (9+ messages)
` [PATCH bpf-next v2 1/6] "
[PATCH v2 0/7] x86-32 CPU configuration cleanups
2026-11-05 22:30 UTC (3+ messages)
` [PATCH 3/7] x86: make CX8 usage unconditional
[PATCH] KVM: nSVM: Mark all of vmcb01 dirty when restoring nested state
2026-11-05 22:30 UTC
[PATCH] net: mark skb NAPI IDs independently of busy polling
2026-11-05 22:29 UTC (2+ messages)
[PATCH] net: dsa: microchip: drop the parent MDIO bus reference
2026-11-05 22:29 UTC (2+ messages)
[PATCH 0/3] KVM: arm64: Fix the hyp pool size on large machines, plus two hardening patches
2026-11-05 22:28 UTC (4+ messages)
` [PATCH 1/3] KVM: arm64: Compute the hyp pool size in 64 bits
` [PATCH 2/3] KVM: arm64: Check the host stage-2 PGD allocation for NULL
` [PATCH 3/3] KVM: arm64: Don't replace a valid hyp block mapping with a table
[PATCH net] net: spacemit: Hold RTNL lock in emac_resume() and emac_suspend()
2026-11-05 22:28 UTC (3+ messages)
[PATCH net-next] net: phy: air_an8801: add WAKE_PHY Wake-on-LAN support
2026-11-05 22:26 UTC (4+ messages)
[PATCH 3/5] dt-bindings: watchdog: mediatek,mtk-wdt: Add compatible for MT6895
2026-11-05 22:24 UTC (2+ messages)
[PATCH] media: mali-c55: Require an enabled link to start a video node
2026-11-05 22:23 UTC
[PATCH net-next 0/2] net: ethernet: mtk_eth_soc: 9K jumbo frame support
2026-11-05 22:22 UTC (3+ messages)
` [PATCH net-next 1/2] net: ethernet: mtk_eth_soc: add 9K jumbo frame
[PATCH net-next v3 0/9] net: devmem: size TX net_iovs from the dmabuf layout
2026-11-05 22:20 UTC (10+ messages)
` [PATCH net-next v3 1/9] bnxt_en: let the stack segment GSO skbs with too many frags
` [PATCH net-next v3 2/9] net: devmem: charge the frag length to TX skb truesize
` [PATCH net-next v3 3/9] net: devmem: use niov_shift in net_devmem_get_niov_at()
` [PATCH net-next v3 4/9] net: devmem: add a per-device netmem TX frag size limit
` [PATCH net-next v3 5/9] bnxt_en: set the netmem TX frag size limit to 32KB
` [PATCH net-next v3 6/9] eth: fbnic: "
` [PATCH net-next v3 7/9] net/mlx5e: lift the netmem TX frag size limit
` [PATCH net-next v3 8/9] net: devmem: size TX net_iovs from the dmabuf sg table
` [PATCH net-next v3 9/9] selftests: drv-net: devmem: TX from a hugepage-backed dmabuf
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®