SD card on Nucleo F411RE not working

[B00mb0x]

I am currently using a Nucleo F411RE Board.
I flashed the board with the micropython commit 813d559 from June 19th 2023 using the command make BOARD=NUCLEO_F411RE deploy-stlink .
Micropython works fine, but I want to import the SDCard module from machine using:
from machine import SDCard
I get an error message:
Traceback (most recent call last): File "<stdin>", line 1, in <module> ImportError: can't import name SDCard

While building, it showed also bulding 'sdcard.c'. I don't know, why it still can't be imported.

Is it possible to operate an SD card from a Nucleo F411RE?
How can I achieve it? Should I change the makefile?
Or did I just try to import the wrong thing?

Thanks in advance!

[rkompass]

I once had the same problem. Could be that sdcard.c is for special sdcard peripherals that the F411 does not have.
It might be compiled but not linked in.
In my case (with the board definition by @mcauser for the blackpill board here) the python driver in micropython-lib worked. You may compile it with mpy-cross and have it in the file system or freeze it in.