Is it possible with available header files and c souce codes to generate bare-metal application?

Hello,

I want to create bare-metal implementation. I figured out that there are hal_gpio_pulp.c and hal_pinmux1.c source files and they are not containing freeRTOS files. Looks eligible to use their functions for bare-metal application. Also, core-v mcu config file is not included these files, but pulp_io header file is included. This might be a problem.

So I want to ask if it is possible to design bare-metal application with using these files or others using core-v-sdk?