From 7dd5a40218e9c9a75b739515ad46415997b97b45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Marczykowski-G=C3=B3recki?=
 <marmarek@invisiblethingslab.com>
Date: Fri, 13 Dec 2013 04:40:20 +0100
Subject: [PATCH] rpm: kernel-placeholder provides kernel-modules-extra

Yet another package with kernel-related files already provided by dom0.
---
 rpm_spec/core-vm-kernel-placeholder.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rpm_spec/core-vm-kernel-placeholder.spec b/rpm_spec/core-vm-kernel-placeholder.spec
index 691a50e..519decd 100644
--- a/rpm_spec/core-vm-kernel-placeholder.spec
+++ b/rpm_spec/core-vm-kernel-placeholder.spec
@@ -19,6 +19,7 @@ Obsoletes:  xorg-x11-drv-nouveau
 Provides:   xorg-x11-drv-nouveau
 #  choose the oldest Qubes-supported VM kernel
 Provides:   kernel = 3.7.4
+Provides:   kernel-modules-extra
 
 %description
 Placeholder for kernel package as it is managed by Dom0.