History log of /seL4-l4v-master/seL4/LICENSE.md
Revision Date Author Comments
# b2971ca2 01-Apr-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

extract license remark into own file

github detects LICENSE.md files and links to them, so put the license
information there instead of the README.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>