diff options
| author | Jérôme Forissier <jerome.forissier@linaro.org> | 2017-11-24 15:47:18 +0100 |
|---|---|---|
| committer | Jens Wiklander <jens.wiklander@linaro.org> | 2018-03-06 11:03:55 +0100 |
| commit | 5c5f80307ab27c53b56569245a0b12f4e3b577de (patch) | |
| tree | 9e1b207fd0bc22f73e0357aaf06bb97612b8f00b /scripts/headers_check.pl | |
| parent | 6e112de0427874500fb9c373595481653ae4078d (diff) | |
| download | linux-5c5f80307ab27c53b56569245a0b12f4e3b577de.tar.bz2 | |
tee: optee: report OP-TEE revision information
When the driver initializes, report the following information
about the OP-TEE OS:
- major and minor version,
- build identifier (if available).
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Matthias Brugger <mbruger@suse.com>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Diffstat (limited to 'scripts/headers_check.pl')
0 files changed, 0 insertions, 0 deletions