Alphabetize kernel headers to be installed, include some missing required ones for plugins#3933

Merged

nakengelhardt merged 1 commit intoYosysHQ:masterfrom timkpaine:tkp/kernelheaders

Sep 18, 2023

+17-13

Commits on Sep 15, 2023

Alphabetize headers to be installed, include some missing required ones for plugins, fixes chipsalliance/synlig#1972 dau-dev/tools#6
timkpaine
committed