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
