Probably for the best...but I do recommend that you use a kernel that is 32KB or lower. Mostly because some kids will use the Atari + platform to test their Atari 2600 games made with this thing.
Okay, thanks for the tip.