[02:15] Out of curiosity, is there a compilation of the hardware requirements for platforms to port Linux to? E.g. I see from some of the headers that Linux assumes 8 bits in a byte, 16 bits in a short, and 32 bits in an int, implying it does not support architectures where a byte is not 8 bits. [05:52] how can I get a local kernel build to produce -dbgsym? [05:53] oh, skipdbg=false === ivan_ is now known as ivan