Merge pull request #374 from cdburkard/patches/rt

check if RT_GROUP_SCHED is enabled in kernel
2014-09-20 23:21:06 -07:00
parent 2c10a8e687 58324bdc50
commit 3e8df323b3
2 changed files with 17 additions and 6 deletions
@@ -617,6 +617,12 @@ class CPULimitedHost( Host ):
        # still does better with larger period values.
        self.period_us = kwargs.get( 'period_us', 100000 )
        self.sched = sched
+        if self.sched == 'rt':
+            release = quietRun( 'uname -r' ).strip('\r\n')
+            output = quietRun( 'grep CONFIG_RT_GROUP_SCHED /boot/config-%s' % release )
+            if output == '# CONFIG_RT_GROUP_SCHED is not set\n':
+                error( '\n*** error: please enable RT_GROUP_SCHED in your kernel\n' )
+                exit( 1 )
        self.rtprio = 20

    def cgroupSet( self, param, value, resource='cpu' ):