30 May
2026
30 May
'26
1:56 p.m.
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