Dear experts, It seems that currently libsel4 has many inlined functions thus user space code size is large.
I am wondering if this is really necessary? If current libsel4 is not for production use, then it doesnt matter. Otherwise I am wondering if we need support size optimized config as well? I am hoping that libsel4 changes wont affect kernel verification? Regards, yf _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
