seL4 foundation setup
Signed-off-by: Gerwin Klein <kleing@unsw.edu.au>
diff --git a/.github/CODE_OF_CONDUCT.md b/.github/CODE_OF_CONDUCT.md
new file mode 100644
index 0000000..03d0a95
--- /dev/null
+++ b/.github/CODE_OF_CONDUCT.md
@@ -0,0 +1,12 @@
+<!--
+ Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+
+ SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+# Code of Conduct
+
+This repository and interactions with it fall under the [seL4 Code of Conduct][1] available from the [seL4 website][2].
+
+[1]: https://docs.sel4.systems/processes/conduct.html
+[2]: https://sel4.systems
diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md
new file mode 100644
index 0000000..d3a12db
--- /dev/null
+++ b/.github/CONTRIBUTING.md
@@ -0,0 +1,44 @@
+<!--
+ Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+
+ SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+# Contributions Welcome
+
+Please see the [seL4 contributing guidelines][1] on the [seL4 website][2] for
+details.
+
+[1]: https://docs.sel4.systems/processes/contributing.html
+[2]: https://sel4.systems
+
+
+## Contact
+
+If you have larger changes or additions, it is a good idea to get in contact
+with us as <devel@sel4.systems>, so we can help you get started.
+
+The people responsible for the technical direction, procedures, and quality
+control are the [Technical Steering Committee][3] (TSC) of the seL4
+foundation. You can contact them either on the developer mailing list or on
+directly via email available from their profile pages.
+
+[3]: https://sel4.systems/Foundation/TSC
+
+
+## Developer Certificate of Origin (DCO)
+
+This repository uses the same sign-off process as the Linux kernel. For every
+commit, use
+
+ git commit -s
+
+to add a sign-off line to your commit message, which will come out as:
+
+ Signed-off-by: name <email>
+
+By adding this line, you make the declaration that you have the right to make
+this contribution under the open source license the files use that you changed
+or contributed.
+
+The full text of the declaration is at <https://developercertificate.org>.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
new file mode 100644
index 0000000..c0f5398
--- /dev/null
+++ b/.github/workflows/pr.yml
@@ -0,0 +1,28 @@
+# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+#
+# SPDX-License-Identifier: BSD-2-Clause
+
+# Actions to run on pull requests
+
+name: PR
+
+on: [pull_request]
+
+jobs:
+ gitlint:
+ name: Gitlint
+ runs-on: ubuntu-latest
+ steps:
+ - uses: seL4/ci-actions/gitlint@master
+
+ whitespace:
+ name: 'Trailing Whitespace'
+ runs-on: ubuntu-latest
+ steps:
+ - uses: seL4/ci-actions/git-diff-check@master
+
+ shell:
+ name: 'Portable Shell'
+ runs-on: ubuntu-latest
+ steps:
+ - uses: seL4/ci-actions/bashisms@master
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
new file mode 100644
index 0000000..31da3cd
--- /dev/null
+++ b/.github/workflows/push.yml
@@ -0,0 +1,33 @@
+# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+#
+# SPDX-License-Identifier: BSD-2-Clause
+
+# Actions to run on Push and Pull Request
+name: CI
+
+on:
+ push:
+ branches:
+ - master
+ pull_request:
+
+jobs:
+ check:
+ name: License Check
+ runs-on: ubuntu-latest
+ steps:
+ - uses: seL4/ci-actions/license-check@master
+
+ links:
+ name: Links
+ runs-on: ubuntu-latest
+ steps:
+ - uses: seL4/ci-actions/link-check@master
+ with:
+ exclude: js/node_modules
+
+ style:
+ name: Style
+ runs-on: ubuntu-latest
+ steps:
+ - uses: seL4/ci-actions/style@master
diff --git a/LICENSE.md b/LICENSE.md
new file mode 100644
index 0000000..b032007
--- /dev/null
+++ b/LICENSE.md
@@ -0,0 +1,21 @@
+<!--
+ Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+
+ SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
+# License
+
+The files in this repository are released under standard open source licenses,
+identified by [SPDX license tags][1]. See the individual file headers for
+details, or use one of the publicly available SPDX tools to generate a bill of
+materials. The directory [`LICENSES`][2] contains the text for all licenses
+that are mentioned by files in this repository.
+
+Please see the individual library directories and source files for the licenses
+that apply to each library.
+
+For licensing an application, you must check each library that you link against.
+
+[1]: https://spdx.org
+[2]: LICENSES/
diff --git a/LICENSE.txt b/LICENSE.txt
deleted file mode 100644
index 64659d8..0000000
--- a/LICENSE.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-Please see the individual library directories and source files for the licenses
-that apply to each library.
-
-For licensing an application using the libraries in each repository, you must
-check each library that you link against.
