From 22929bb18f9aec71cfc3959396308c94e3f08501 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Marczykowski-G=C3=B3recki?=
 <marmarek@invisiblethingslab.com>
Date: Sat, 14 Dec 2013 06:29:17 +0100
Subject: [PATCH] kernel-placeholder: provide kernel modules mountpoint

It is no longer part of 'filesystem' package in Fedora 19.
---
 rpm_spec/core-vm-kernel-placeholder.spec | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/rpm_spec/core-vm-kernel-placeholder.spec b/rpm_spec/core-vm-kernel-placeholder.spec
index 519decd..97f7d1b 100644
--- a/rpm_spec/core-vm-kernel-placeholder.spec
+++ b/rpm_spec/core-vm-kernel-placeholder.spec
@@ -24,4 +24,9 @@ Provides:   kernel-modules-extra
 %description
 Placeholder for kernel package as it is managed by Dom0.
 
+%install
+
+mkdir -p $RPM_BUILD_ROOT/lib/modules
+
 %files
+%dir /lib/modules