Modify the LatticeMico8 Tutorial (lm8 1 4 tutor.pdf) for the MachXO2 Pico Development Kit
From MKRD.info Wiki
1) Change the device type for the build process. In Task 1 Step 6, set the device according to the one installed in the Pico board:
a. In the Family box, select MachXO2.
b. In the Device box, select LCMXO2-1200ZE.
c. In the Part Names box, select LCMX02-1200ZE-2MG132C.
The speed grade should populate with the proper grade of 2.
d. In the Package Type box, select CSBGA132.
e. In the Operating Conditions box, select Commercial.