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