Revision 58324bdc mininet/node.py

View differences:

mininet/node.py
606 606
        # still does better with larger period values.
607 607
        self.period_us = kwargs.get( 'period_us', 100000 )
608 608
        self.sched = sched
609
        if self.sched == 'rt':
610
            release = quietRun( 'uname -r' ).strip('\r\n')
611
            output = quietRun( 'grep CONFIG_RT_GROUP_SCHED /boot/config-%s' % release )
612
            if output == '# CONFIG_RT_GROUP_SCHED is not set\n':
613
                error( '\n*** error: please enable RT_GROUP_SCHED in your kernel\n' )
614
                exit( 1 )
609 615
        self.rtprio = 20
610 616

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

Also available in: Unified diff