Here's a stupid question:

How does one compile the empeg kernel? That is, what options do I need to supply to ``make config''? Any further answers to questions I haven't thought of yet would be appreciated.