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.