Document explicitly that events can be posted twice, SIMICS-23394#413

mandolaerik merged 3 commits intointel:mainintel/device-modeling-language:mainfrom

mandolaerik:pr/document-explicitly-that-events-can-be-posted-twice-simics-23394mandolaerik/device-modeling-language:pr/document-explicitly-that-events-can-be-posted-twice-simics-23394Copy head branch name to clipboard