From f367cf9633648fc06e3ec4493d07bbcec8c4d835 Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Wed, 25 Feb 2015 16:29:30 +0100 Subject: add patch series --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 530b368..f8f5c70 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,3 +8,4 @@ Add-some-padding-to-make-objects-fit-a-single-cache-.patch vm_cache_policy.patch vm_page_cleanq.patch task-load.patch +0001-kern-inherit-the-name-of-the-parent-task.patch -- cgit v1.2.3