add an option to build the example kernel.
11 files changed