• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Copyright (c) 2023 Huawei Device Co., Ltd.
2# Licensed under the Apache License, Version 2.0 (the "License");
3# you may not use this file except in compliance with the License.
4# You may obtain a copy of the License at
5#
6#     http://www.apache.org/licenses/LICENSE-2.0
7#
8# Unless required by applicable law or agreed to in writing, software
9# distributed under the License is distributed on an "AS IS" BASIS,
10# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11# See the License for the specific language governing permissions and
12# limitations under the License.
13
14define(`decl_cat',`dnl
15category c$1;
16ifelse(`$1',`$2',,`decl_cat(incr($1),$2)')dnl
17')
18
19define(`decl_category_x',`dnl
20category x$1;
21ifelse(`$1',`$2',,`decl_category_x(incr($1),$2)')dnl
22')
23
24sensitivity s0;
25
26dominance { s0 }
27
28decl_cat(0, 1023)
29decl_category_x(0, 1279)
30
31level s0:c0.c1023,x0.x1279;
32
33mlsconstrain filesystem relabelto
34    ( h1 dom h2 );
35