The two boards you mentioned should be supported. Do you have the same issue as Junbo (HAL not allowed)? On which system are you running System Workbench (Windows or Linux)?
By the way, a new version has been released today. Please check for updates, it might fix your problem.
Let us know if you still cannot create/debug for these boards.