Received: by 2002:ab2:b82:0:b0:1f3:401:3cfb with SMTP id 2csp402024lqh; Thu, 28 Mar 2024 05:50:06 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCXCLj/t2ygNDE0762XuSHDa3cxfz7OzbSaho4vy1c6/5Yz+NqDCN8jbxTxE5V+DedIlC7HPs/tbYKWXGRHLSZr6+Vv7B8vDC2LBQ0CMnA== X-Google-Smtp-Source: AGHT+IEQsmuFxrZn+1f+la78Fd9mfcUVZiC1tpzHG8qfP84mUikl2KdEPjgAJI8Aicptt7fxyhb2 X-Received: by 2002:a17:906:ca59:b0:a45:40e4:8c8 with SMTP id jx25-20020a170906ca5900b00a4540e408c8mr1721890ejb.16.1711630206707; Thu, 28 Mar 2024 05:50:06 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1711630206; cv=pass; d=google.com; s=arc-20160816; b=enBMh1xI+Rxqj0zCMB+K6/j/YHV2E6dWtc4k9gamMyvbAV2mhF9HwaUxmUwugPDoEv 72/KrAgl5+pNh5kDtSAWJOoWqrjQd1yUjo5MJqA7kCp3PaOkQo/m4u8yYQlPYRDU9BI1 Hse2XoAyzReD1xwIxPi4wpKj2WWS03LDuS/Y1GLNGnB9oakrhONYbAmlK7bA6E65eh4P xDsjj9Iwmt7BE/xkY8/yLHGLvFJ139gxqQE9AHxzSozx5EEYah229v0XDTX4lwdfmV49 VMo7GhWUNNNkpStSD4ot06JBGCboSdk9q2GPPzleDHHm/T6sy8SdMKHmo1VQBxBidIy6 asMg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:from:subject:message-id:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:date:dkim-signature; bh=V2hEdvFPOs3Q7MZ/48YeLwC2rbA6kByg8D1e17fzf9U=; fh=oDSTZssCo6oCHBuMSmMPnt/u6/FlJR5hBq7bgRwP2gg=; b=KReowyp5IF6q3GhQThHHvQKrs64Yin0EElKXB+lJ1Kiz5wqA/4mjUrxHM3WzHGTW0J RHzuYkOMiNmxoqjA+veMRfV9mbCpNPuWDYGSEwQ8IfUMdQ1ATRsxprEIjA+46Plcap/N QbIaK7ZHKUJVi18YdUuhn457fybe82SitRAxMyO16gTgAkQyEc7wFIR94IkegBtBL2JD ufau+st56scdCm+VTQmAkW3nenue7b6cV+Phj7pysgRZTiqC5ZP/bEAwe8O1r8A6oK7F qdFsf1aA2RoT4T+vQqIVNlfDjP0O+D0H8/Sp80eTJvfMFGTpI7PqDxrH1IybwMvJ+uUw +7+w==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=IHs8Oi6B; arc=pass (i=1 spf=pass spfdomain=flex--jackmanb.bounces.google.com dkim=pass dkdomain=google.com dmarc=pass fromdomain=google.com); spf=pass (google.com: domain of linux-kernel+bounces-122924-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.80.249 as permitted sender) smtp.mailfrom="linux-kernel+bounces-122924-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from am.mirrors.kernel.org (am.mirrors.kernel.org. [147.75.80.249]) by mx.google.com with ESMTPS id cf19-20020a170906b2d300b00a4e22510d18si626436ejb.379.2024.03.28.05.50.06 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 28 Mar 2024 05:50:06 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-122924-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.80.249 as permitted sender) client-ip=147.75.80.249; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=IHs8Oi6B; arc=pass (i=1 spf=pass spfdomain=flex--jackmanb.bounces.google.com dkim=pass dkdomain=google.com dmarc=pass fromdomain=google.com); spf=pass (google.com: domain of linux-kernel+bounces-122924-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.80.249 as permitted sender) smtp.mailfrom="linux-kernel+bounces-122924-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by am.mirrors.kernel.org (Postfix) with ESMTPS id 6AE211F26330 for ; Thu, 28 Mar 2024 12:50:06 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 5E7705F87C; Thu, 28 Mar 2024 12:49:59 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="IHs8Oi6B" Received: from mail-yb1-f202.google.com (mail-yb1-f202.google.com [209.85.219.202]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 18BA97D3F5 for ; Thu, 28 Mar 2024 12:49:56 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.219.202 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1711630198; cv=none; b=Ivd87zYJkdUxoQNXWbptv8zDKv2EjUOfZcUrqZVufxS6kL7i35Z2eSG4ugahm0Jr13cDIFuuU24B/yaX7aHPFWDG/WNXRTwiuuVPlLk7Cghgun9uNLsrSGvNgIGd6I9PcDHhldagpukTXc/m9aDMVxHAruH2JcnMER2Ix+37Mp4= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1711630198; c=relaxed/simple; bh=AUx/FZ/RU76mHzg4qaAQoDkIORYPJrAzMVU1E7OcnBU=; h=Date:Mime-Version:Message-ID:Subject:From:To:Cc:Content-Type; b=XIM9y6OlF/CTUoHN8/YGojU16gYieMuS+AFtnm+NeAdPO5mC5j79UAMmMD+cAjhpQyIkbf6qGgDdvjePxoEak7dl3Lp1T96i4JkdgCD6HkLRjxfTMl6QJmMvb04gshzAD5ZzhiBeSwTKLaUtfgGHStUb+o5sv9NSIKdTP16cFDU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=flex--jackmanb.bounces.google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=IHs8Oi6B; arc=none smtp.client-ip=209.85.219.202 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=flex--jackmanb.bounces.google.com Received: by mail-yb1-f202.google.com with SMTP id 3f1490d57ef6-dd169dd4183so1072535276.3 for ; Thu, 28 Mar 2024 05:49:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1711630196; x=1712234996; darn=vger.kernel.org; h=cc:to:from:subject:message-id:mime-version:date:from:to:cc:subject :date:message-id:reply-to; bh=V2hEdvFPOs3Q7MZ/48YeLwC2rbA6kByg8D1e17fzf9U=; b=IHs8Oi6B5QCHM6FNUqya6j7pwke6Ag5l+vVzVNNCrhxekP6JUqlMsiYzZrlA0ZTyK+ iRaEZwWQuhoLyC124o0qVcf1agOsMmnSYSXDNTtyBKRFDU9QG10MxqI/MSmFBIYeicxL ffiDFtghmyeyRD+p/Iu7YvmZMQJf2CORds7nSmnVk+pRXOmRXERrqIDMaQKFNRibMUn/ 0VoZasTSkSCEDyTyEhM4Zvcbj0a/8cFwH5LArGUQsAbXLHBI0Tk5qdApcVYtxIJ6AA/8 aNoFEA5FHmGV3DmqKvlctugDKQlYtckEX0nZqyn2WPv/D69PBXiM6KJC5WOAFQo1Xi8m 7kpw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711630196; x=1712234996; h=cc:to:from:subject:message-id:mime-version:date:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=V2hEdvFPOs3Q7MZ/48YeLwC2rbA6kByg8D1e17fzf9U=; b=wVHVZWnGu0BdBYk29nfMFFsgGKZy7DiiBo6SI/CPuoETGtpGVPcCkf+0VW6KoRR5s3 jwNRypt3hVYEXdhYkJZ4ODgl5x6SaxSZUW0iWM7kkDM/QKKiIiJCkWoqCF42Fa7qd1wG +PpJO/A1vPsKhIQQzsAS3ab3Hm8WfDG6SJEhToRHRbBvxhEX+Q+hb/dc8atyOMX79B/a 4NTvA+ltHt3FSwAN2f8k7BcUfMKx+6xjMzVrcJcqI6k6PZIRMZKzDVh3sdDrJEdYR8Qz +gl2xDiroeQdKjx/LY+8wlKS4llgL6MOx/eZAxCuLd0IpSRbR8BzmbhtbiLTQzAyfPCA AlFg== X-Forwarded-Encrypted: i=1; AJvYcCUHM52pl5GIzU9/+xgmE3tJ4w0zKl4/FDCoGpVN9jROwlpJsfyjTBWN9W3GlFqKdLAh5oljl1NByEAW0AulwQWN6Z+J02kHeCekqIaU X-Gm-Message-State: AOJu0YxaduI+dM5yOFU9MK4RcV1nXP1urTaKKFtuC+TeCfOKpB1K0y4b I0nxfYma1ro+q6veCNu3tmwP5Wg2LcdWYowaAEnTsTBH1GTopgAJ2P48cpflJSaomk9m0fUqhaP Qew+diZMc6Q== X-Received: from beeg.c.googlers.com ([fda3:e722:ac3:cc00:28:9cb1:c0a8:11db]) (user=jackmanb job=sendgmr) by 2002:a05:6902:727:b0:dc7:4af0:8c6c with SMTP id l7-20020a056902072700b00dc74af08c6cmr195564ybt.6.1711630196104; Thu, 28 Mar 2024 05:49:56 -0700 (PDT) Date: Thu, 28 Mar 2024 12:49:47 +0000 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 X-Mailer: git-send-email 2.44.0.396.g6e790dbe36-goog Message-ID: <20240328124947.2107524-1-jackmanb@google.com> Subject: [PATCH] Documentation: dev-tools: Add link to RV docs From: Brendan Jackman To: linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org Cc: corbet@lwn.net, jackmanb@google.com, bristot@kernel.org, rostedt@goodmis.org Content-Type: text/plain; charset="UTF-8" I could not remember the name of this system and it's pretty hard to find without the right keywords. I had to ask an LLM! Drop a breadcrumb to help people find it in the future. Signed-off-by: Brendan Jackman --- Documentation/dev-tools/testing-overview.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Documentation/dev-tools/testing-overview.rst b/Documentation/dev-tools/testing-overview.rst index 0aaf6ea53608f..1619e5e5cc9c4 100644 --- a/Documentation/dev-tools/testing-overview.rst +++ b/Documentation/dev-tools/testing-overview.rst @@ -104,6 +104,8 @@ Some of these tools are listed below: KASAN and can be used in production. See Documentation/dev-tools/kfence.rst * lockdep is a locking correctness validator. See Documentation/locking/lockdep-design.rst +* Runtime Verification (RV) supports checking specific behaviours for a given + subsystem. See Documentation/trace/rv/runtime-verification.rst * There are several other pieces of debug instrumentation in the kernel, many of which can be found in lib/Kconfig.debug -- 2.44.0.396.g6e790dbe36-goog