Hello Bruno,
If you use LaunchPad XL F28027F, indeed you need to select the motorware firmware under \boostxldrv8301_revB folder.
The main file is the same (proj_lab0xx.c) but the hal module (hal.c, hal.h, hal_obj.h) is different and the files are made specific to the board (GPIO setting, etc). You can find the files here:
C:\ti\motorware\motorware_1_01_00_12\sw\modules\hal\boards\boostxldrv8301_revB\f28x\f2802x\src
Also user.h is different.
C:\ti\motorware\motorware_1_01_00_12\sw\solutions\instaspin_foc\boards\boostxldrv8301_revB\f28x\f2802xF\src
It is made based on the board specification (voltage scale, etc) so you can not use user.h from HVKIT.
Hope this is clear.
Good luck!
Best regards,
Maria