Received-SPF: pass (google.com: domain of selinux-refpolicy-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
From:   Richard Haines <richard_c_haines@btinternet.com>
To:     selinux@vger.kernel.org, selinux-refpolicy@vger.kernel.org
Cc:     Richard Haines <richard_c_haines@btinternet.com>
Subject: [RFC PATCH 0/1] selinux-notebook: Add new section for Embedded Systems
Date:   Tue, 19 Jan 2021 10:57:46 +0000
Message-Id: <20210119105747.9680-1-richard_c_haines@btinternet.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Precedence: bulk

In light of the recent queries regarding embedded systems, thought I would
add this new section.

This is an RFC patch as I've not been involved in embedded systems, therefore
looking for feedback. There are a few TODO entries that need resolving.

I've made an attempt to build a smaller Reference Policy that can be extended,
does this seem reasonable ?.

I'll issue an updated patch in a week or two.

Richard Haines (1):
  selinux-notebook: Add new section for Embedded Systems

 src/embedded_systems.md                       | 517 ++++++++++++++++++
 src/implementing_seaware_apps.md              |   2 +-
 .../embedded-policy/android-policy/README.md  |  34 ++
 .../android-policy/android-4/Makefile         |  32 ++
 .../android-policy/android10/Makefile         |  40 ++
 .../android-policy/brillo-device/Makefile     |  43 ++
 .../android-policy/brillo/Makefile            |  36 ++
 .../reference-policy/README.md                |   6 +
 .../reference-policy/build.conf               |  84 +++
 .../reference-policy/modules.conf             | 236 ++++++++
 src/seandroid.md                              |   6 +-
 src/section_list.txt                          |   1 +
 src/toc.md                                    |   1 +
 13 files changed, 1036 insertions(+), 2 deletions(-)
 create mode 100644 src/embedded_systems.md
 create mode 100644 src/notebook-examples/embedded-policy/android-policy/README.md
 create mode 100644 src/notebook-examples/embedded-policy/android-policy/android-4/Makefile
 create mode 100644 src/notebook-examples/embedded-policy/android-policy/android10/Makefile
 create mode 100644 src/notebook-examples/embedded-policy/android-policy/brillo-device/Makefile
 create mode 100644 src/notebook-examples/embedded-policy/android-policy/brillo/Makefile
 create mode 100644 src/notebook-examples/embedded-policy/reference-policy/README.md
 create mode 100644 src/notebook-examples/embedded-policy/reference-policy/build.conf
 create mode 100644 src/notebook-examples/embedded-policy/reference-policy/modules.conf

-- 
2.29.2