boot linux from an ide