History log of /seL4-test-master/tools/seL4/misc/cpio-strip.c
Revision Date Author Comments
# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# c85fda55 07-Apr-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

trivial: style this repo


# 7526d52d 06-Aug-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

common-tool: Moved some tools to misc

Moved some miscellaneous tools from common-tool to the misc
folder. Common-tool mainly consists of Kbuild items which
is no longer supported.