On 17/04/15 04:34, Andrew Stuart wrote:
So after much fiddling I managed to get some C applications (web servers) compiling as rump kernels, specifically thttpd and mathopd
Hopefully once we've fixed your problem you can contribute documentation and/or other improvements so that the next person will again have a less fiddly time in accomplishing the same.
