minios: add CONFIG_XC conditional
authorMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Mon, 8 Oct 2012 13:36:31 +0000 (14:36 +0100)
committerMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Mon, 8 Oct 2012 13:36:31 +0000 (14:36 +0100)
commit6c05d819d836f9955c0ab09e9dfa657e097b2a46
treeb9a5fb5c0ee0915c5dcd203bdaf645d162504f84
parentb8902baf80d75b7f5832dc435a868dfcc4d1f36f
minios: add CONFIG_XC conditional

This patch adds a CONFIG_XC option to mini-os, to allow conditional
support for libxc for mini-os domains.

Signed-off-by: Matthew Fioravante <matthew.fioravante@jhuapl.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyons.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/Makefile
extras/mini-os/lib/sys.c