To create a project from this example, run:
idf.py create-project-from-example "david-cermak/liboqs_mlkem=0.1.0:simple"