Add release notes (CHANGES.md) for Microkit 2.3.0#565

midnightveil wants to merge 3 commits into

mainseL4/microkit:mainfrom

julia/changelog-v2.3.0seL4/microkit:julia/changelog-v2.3.0Copy head branch name to clipboard