intel / ccc-linux-guest-hardening

Linux Security Hardening for Confidential Compute
https://intel.github.io/ccc-linux-guest-hardening-docs
MIT License
64 stars 13 forks source link

[doc: smatch] Quick update to smatch usage. #74

Closed tz0 closed 1 year ago

tz0 commented 1 year ago

Quick fix and update for smatch usage. More information will be changed here as well as the doc repo.

Marked as draft to open for reviews and suggestions.

tz0 commented 1 year ago

@ereshetova

ereshetova commented 1 year ago

sorry for delayed reply, this looks good to me!