[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Minios-devel] [PATCH 3/3] mini-os: support "make config" for out-of-tree users

On Tue, Aug 30, 2016 at 01:51:23PM +0200, Juergen Gross wrote:
> Mini-OS applications being compiled using Mini-OS headers without
> being integrated in the make environment of Mini-OS need a way to set
> CONFIG_* defines according to their Mini-OS configuration.
> Add a new make target "config" for that purpose creating a Makefile
> snipplet $(CONFIG_FILE) (defaults to ./minios-config.mk) containing
> the needed information.
> Signed-off-by: Juergen Gross <jgross@xxxxxxxx>

Reviewed-by: Wei Liu <wei.liu2@xxxxxxxxxx>

Minios-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.