libsel4 status

30 May 2026

      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

Yanfeng Liu

tags

participants (3)