Some options are board-specific