char tizen_target_path[PATH_MAX];
char tizen_target_img_path[PATH_MAX];
-int enable_yagl = 0;
+#ifdef CONFIG_YAGL
+extern bool yagl_enabled(void);
+#endif /* CONFIG_YAGL */
+
int enable_spice = 0;
int _skin_argc;
static void prepare_opengl_acceleration(gchar * const kernel_cmdline)
{
int capability_check_gl = 0;
+ bool enable_yagl = yagl_enabled();
if (enable_yagl) {
capability_check_gl = check_gl();
#define MAX_VIRTIO_CONSOLES 1
#define MAX_SCLP_CONSOLES 1
-#ifdef CONFIG_MARU
-int skin_disabled = 0;
-extern int enable_yagl;
-extern int enable_spice;
+#ifdef CONFIG_YAGL
+static int enable_yagl = 0;
static const char *yagl_backend = NULL;
+
+bool yagl_enabled(void); /* prototype to make gcc happy */
+bool yagl_enabled(void)
+{
+ return enable_yagl;
+}
+#endif /* CONFIG_YAGL */
+
+#ifdef CONFIG_VIGS
static int enable_vigs = 0;
static char *vigs_backend = NULL;
+#endif /* CONFIG_VIGS */
+
+#ifdef CONFIG_MARU
+int skin_disabled = 0;
+extern int enable_spice;
#if defined(CONFIG_SPICE) && defined(CONFIG_LINUX)
extern void websocket_init(void);
extern void nodejs_init(void);
#endif
#ifdef CONFIG_YAGL
// To support legacy YaGL options
- if (enable_yagl) {
+ if (yagl_enabled()) {
PCIBus *pci_bus = (PCIBus *) object_resolve_path_type("", TYPE_PCI_BUS, NULL);
PCIDevice *pci_dev = pci_create(pci_bus, -1, "yagl");
if (enable_vigs) {