In stmhal/boards/PYBV10/mpconfigboard.h
When setting:
MICROPY_HW_ENABLE_CC3K (1)
The build gives many errors.
Build broken with MICROPY_HW_ENABLE_CC3K
Re: Build broken with MICROPY_HW_ENABLE_CC3K
CC3000 support is now in master, but you need to enable the config setting in mpconfigport.mk. There are firmware builds with network drivers available at micropython.org/download.