template-pd: introduce 'template' attribute in sdf#582

ZGwtao wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

ZGwtao:empty-pdZGwtao/microkit:empty-pdCopy head branch name to clipboard