mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 22:47:50 +00:00
7ee3e98551
Some special pages (0-page, 1-page) in the kernel must not be freed up during PD destruction. Fixes #1828
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
0cdaf637a3a1c087b6350142316230c9e963a8d7
|