Merge pull request #1663 from ved-rivos/zawrs

Add Zawrs extension
7 jobs for master
in 0 seconds and was queued for 0 seconds