Never have boredom get them! There are plenty of wonderful ways to entertain yourself, regardless of the situation beyond. Consider building a fort, staging a family film session, or gaining a fresh hobby, for example https://www.adventuresnsunsets.com/fun-things-to-do-at-home/