| # MiniSel |
| |
| Minisel is a tiny application designed to be a the smallest possible |
| userland to run under the seL4 kernel. |
| |
| ## Source Code Headers |
| |
| Every file containing source code includes copyright and license |
| information. For dependent / non-Google code these are inherited from |
| the upstream repositories. If there are Google modifications you may find |
| the Google Apache license found below. |
| |
| Apache header: |
| |
| Copyright 2022 Google LLC |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| https://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
