Received: by 10.213.65.68 with SMTP id h4csp4416201imn; Tue, 10 Apr 2018 14:41:58 -0700 (PDT) X-Google-Smtp-Source: AIpwx49CaOrrs0sfB2rtWhAv3z+KpYMgwb3NqkeHewFK2vpPACaujvVeBUsp2xT8mNG4VnmGhMMX X-Received: by 10.98.242.80 with SMTP id y16mr1735225pfl.200.1523396518241; Tue, 10 Apr 2018 14:41:58 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1523396518; cv=none; d=google.com; s=arc-20160816; b=rEk0Uo1VQfzQMY9cf8CvydD0WFSfKsXsOfY575ZsKjrUoF9MLeq+NxEijdo/EclUp3 PhuDAjqxFded9bRVz8/yrV8vmPacLLBzOfhlwEZVhBG4mHxABEohyBZJm0hv2F2P+AB2 tVjhCeLT8k3Bp4/YOBzX/NZ9IAssg9e/24ZSnLxontmYcBWrpiES2/VUlH54e4AMwkpU Ju32zFckOSJHhn8NfxsPbKWEIxcmzPFtlFry+q5pfoUeAKqh3JcxXAfeZQyTgH+l+2at hj0gmthZIDW2vuPOZ5jRkfldzL4oOa6nUN0VBlBSxze25RoR+imIbTQ53gbvhFfSvhpX 4FuA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:mime-version:user-agent:references :message-id:in-reply-to:subject:cc:to:from:date :arc-authentication-results; bh=TwazPY9Kq4UMxjoIJCYnvUJ6djpHxLLhwrKWpm1yBqE=; b=pt/DrObY273Z2mJMEtXg6TKkyhBKPsNCUiH+YfIquvTOV/T1uG6j2oIY5RJyzu4RFM hMsgICcIdz1MQcH2gTjv4qy3kp0bGGRUYcx85OP4IB3rZAKKasXX97D895g45D3D29CM tr4pitH6Oa5/al4xbhxD/sMsIvN5WksX/1o5cvFjb0NmKWSFZ7aTd7HOoo0yVQLHKH2y OA7Z0ZpHwIN7uTdZlfsiX5Gb2xx6lZOB6YT9zDl19psG3y4qSBvG9TzW5tFxm5I3iQBV kE2/bBFM2XmTQQL2Uo6coUYfO1aUVUA7eshUb4/vIIh+ns1m+Y+GV1U0j942snRBgUxe JN7g== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id o6-v6si3502341plh.300.2018.04.10.14.41.20; Tue, 10 Apr 2018 14:41:58 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752410AbeDJViE (ORCPT + 99 others); Tue, 10 Apr 2018 17:38:04 -0400 Received: from mx2.suse.de ([195.135.220.15]:60831 "EHLO mx2.suse.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751770AbeDJViD (ORCPT ); Tue, 10 Apr 2018 17:38:03 -0400 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay1.suse.de (charybdis-ext.suse.de [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id AB4E9AF89; Tue, 10 Apr 2018 21:38:01 +0000 (UTC) Date: Tue, 10 Apr 2018 23:38:01 +0200 (CEST) From: Jiri Kosina To: Josh Poimboeuf cc: Joe Lawrence , live-patching@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-kernel@vger.kernel.org, Petr Mladek , Miroslav Benes , =?ISO-8859-2?Q?Libor_Pech=E1=E8ek?= , Nicolai Stange , Artem Savkov Subject: Re: [PATCH v2] selftests/livepatch: introduce tests In-Reply-To: <20180410213354.ma5wfe3jc23pzmw4@treble> Message-ID: References: <1523373354-10801-1-git-send-email-joe.lawrence@redhat.com> <1523373354-10801-2-git-send-email-joe.lawrence@redhat.com> <20180410200059.loy3hw6tcwdi4m5z@treble> <20180410213354.ma5wfe3jc23pzmw4@treble> User-Agent: Alpine 2.21 (LSU 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, 10 Apr 2018, Josh Poimboeuf wrote: > I think CONFIG_LOCKDEP is always a good idea. FWIW CONFIG_LOCKDEP mostly enables the infrastructure, but CONFIG_PROVE_LOCKING is what turns most of the cleverness on. -- Jiri Kosina SUSE Labs