linux-kernel - Re: [PATCH v6 00/22] RV: Linear temporal logic monitors for RT application

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <20250430151813.0ec8f762@gandalf.local.home>
Date: Wed, 30 Apr 2025 15:18:13 -0400
From: Steven Rostedt <rostedt@...dmis.org>
To: Gabriele Monaco <gmonaco@...hat.com>
Cc: Nam Cao <namcao@...utronix.de>, john.ogness@...utronix.de, Petr Mladek	
 <pmladek@...e.com>, Sergey Senozhatsky <senozhatsky@...omium.org>, Ingo
 Molnar	 <mingo@...hat.com>, Thomas Gleixner <tglx@...utronix.de>, Borislav
 Petkov	 <bp@...en8.de>, Dave Hansen <dave.hansen@...ux.intel.com>,
 x86@...nel.org, "H . Peter Anvin"	 <hpa@...or.com>, Andy Lutomirski
 <luto@...nel.org>, Peter Zijlstra	 <peterz@...radead.org>, Catalin Marinas
 <catalin.marinas@....com>, linux-arm-kernel@...ts.infradead.org, Paul
 Walmsley <paul.walmsley@...ive.com>, Palmer Dabbelt <palmer@...belt.com>,
 Albert Ou <aou@...s.berkeley.edu>, Alexandre Ghiti <alex@...ti.fr>,
 linux-riscv@...ts.infradead.org, linux-trace-kernel@...r.kernel.org,
 linux-kernel@...r.kernel.org
Subject: Re: [PATCH v6 00/22] RV: Linear temporal logic monitors for RT
 application

On Wed, 30 Apr 2025 14:17:30 +0200
Gabriele Monaco <gmonaco@...hat.com> wrote:

> Steve,
> 
> >From my point of view this series is ready for inclusion, what do you  
> think?

I haven't had a chance to look at it yet. I'm finishing up some deferred
unwinding work, and then hopefully I can take a deeper look.

> 
> We may still need Acks from the x86 and arm64 maintainers regarding the
> tracepoints changes, though.

Yeah, probably want to start pinging them.

-- Steve