On Saturday, June 30, 2018, Warner Losh <imp@bsdimp.com> wrote:Greetings,I'd like to thank everybody that sent me data for my unix kernel size stuff. There's two artifacts I've crated. One I think I've shared before, which is my spreadsheet:https://docs.google.com/spreadsheets/d/13C77pmJFw4ZBmGJuNarB UvWBxBKWXG-jtvARxJDHiXs/edit? usp=sharing It would be interesting to compare it to Linux throughout the history. I can still compile a minimal latest Linux kernel that is around 2M. Not bad if you ask me.