<div id="ymail_android_signature">Hello,</div><div id="yMail_cursorElementTracker_1596439131752">Is Genode good for the Desktop and is it based on seL4?</div><div id="yMail_cursorElementTracker_1596439163827">What does OS framework mean?</div><div id="yMail_cursorElementTracker_1596439182592"><br></div><div id="yMail_cursorElementTracker_1596439182888">Thanks.</div>