Re: Some questions about performance optimization related to GUIframework on Genode