-
Full kernel build no longer required. Yay! This should cut down on dev time a lot. I moved all of the LCD source into $(kernel-src)/lcd-domains/, so it's all in one spot. There is now a top-level makefile in there that triggers building liblcd, the microkernel, and the examples. This is built as an *external* build now, even though the directory is in the kernel source. The build now takes under a minute to do everything LCD related. This should also make verification easier in the future (e.g. building with clang) if we aren't ensnared in the kernel source. Of course, to use the microkernel and examples, you have to build the patched kernel and install it. But now when you make a few lines of changes in e.g. an example, you don't have to trigger a top-level kernel build to rebuild it. Running the full kernel build takes on average about 3 - 4 minutes (some files are generated everytime, linking is done, and so on), and can take upwards of 30 minutes for a full build if...
8198c2fb