TinyGo Drivers - How to compile the sdcard example?

[Gustavomurta]

I miss a WIKI to clarify how to use an example. I don't know how to compile this example for Raspberry Pico. I made some attempts but without result. I appreciate any kind of help.

https://github.com/tinygo-org/drivers/tree/release/examples/sdcard/console

[sago35]

At least the following combinations are buildable. Depending on the microcontroller, there may be insufficient definitions.

https://github.com/tinygo-org/drivers/blob/release/smoketest.sh

[Gustavomurta]

Thanks Sago.
My test without solution.

C:\Users\jgust\tinygo\programas\Raspberry_Pico\sdcard\console>tinygo build -size short -o ./build/test.hex -target=pico main.go
# command-line-arguments
main.go:35:5: undefined: RunFor

C:\Users\jgust\tinygo\programas\Raspberry_Pico\sdcard\console>

[sago35]

I think your environment is missing some source code. Wouldn't the following build successfully?

$ git clone https://github.com/tinygo-org/drivers
Cloning into 'drivers'...
remote: Enumerating objects: 6689, done.
remote: Counting objects: 100% (1737/1737), done.
remote: Compressing objects: 100% (581/581), done.
remote: Total 6689 (delta 1341), reused 1159 (delta 1154), pack-reused 4952 (from 1)
Receiving objects: 100% (6689/6689), 6.83 MiB | 1.99 MiB/s, done.
Resolving deltas: 100% (3441/3441), done.

$ cd drivers/

$ tinygo build -size short -o out.uf2 -target=pico ./examples/sdcard/console/
   code    data     bss |   flash     ram
  72864    1888    5336 |   74752    7224