From: Alexander Popov <alex.popov@linux.com>
Date: Sun, 9 Jun 2024 09:00:36 +0000 (+0300)
Subject: Merge branch 'page-table-check'
X-Git-Tag: v0.6.10~58
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=3288e37484b5a364a96d0ca83f7948421d4212b8;p=kconfig-hardened-check.git

Merge branch 'page-table-check'

Refers to #140

Thanks to @jvoisin
---

3288e37484b5a364a96d0ca83f7948421d4212b8