« Previous | Next » 

Revision f2105549

IDf2105549a7f5d60b4c0be3012adcd8585e1739a9
Parent 8ff22105
Child 38c5992c

Added by Ruben S. Montero about 9 years ago

feature #1243: Scheduler makes use of the resched flag. Needs to get live/cold migration type from config

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences