// Copyright lowRISC contributors. | |
// Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
// SPDX-License-Identifier: Apache-2.0 | |
// Remove rstmgr_cnsty_chk module tree since it is a pre-verified sub-module. | |
-moduletree rstmgr_cnsty_chk | |
begin tgl | |
+module rstmgr_cnsty_chk | |
end |