On Fri, Sep 02, 2016 at 10:56:44AM +0200, Juergen Gross wrote:
> Add a "testbuild" target to Makefile which builds various configurations.
> Repair some minor issues uncovered by those test builds.
> Document the config framework.
>
> Juergen Gross (3):
> mini-os: fix builds with uncommon
Add a "testbuild" target to Makefile which builds various configurations.
Repair some minor issues uncovered by those test builds.
Document the config framework.
Juergen Gross (3):
mini-os: fix builds with uncommon config settings
mini-os: add testbuild target to Makefile
mini-os: update