Added Raspberry Pi Pico

[ferret-guy]

Raspberry Pi Pico, arduino-pico, 125MHz, -0s (standard):

CoreMark Performance Benchmark

CoreMark measures how quickly your processor can manage linked
lists, compute matrix multiply, and execute state machine code.

Iterations/Sec is the main benchmark result, higher numbers are better
Running.... (usually requires 12 to 20 seconds)

2K performance run parameters for coremark.
CoreMark Size    : 666
Total ticks      : 13160
Total time (secs): 13.16
Iterations/Sec   : 227.96
Iterations       : 3000
Compiler version : GCC10.3.0
Compiler flags   : (flags unknown)
Memory location  : STACK
seedcrc          : 0xE9F5
[0]crclist       : 0xE714
[0]crcmatrix     : 0x1FD7
[0]crcstate      : 0x8E3A
[0]crcfinal      : 0xCC42
Correct operation validated. See README.md for run and reporting rules.
CoreMark 1.0 : 227.96 / GCC10.3.0 (flags unknown) / STACK

Raspberry Pi Pico, arduino-pico, 250MHz, -03:

CoreMark Performance Benchmark

CoreMark measures how quickly your processor can manage linked
lists, compute matrix multiply, and execute state machine code.

Iterations/Sec is the main benchmark result, higher numbers are better
Running.... (usually requires 12 to 20 seconds)

2K performance run parameters for coremark.
CoreMark Size    : 666
Total ticks      : 13123
Total time (secs): 13.12
Iterations/Sec   : 457.21
Iterations       : 6000
Compiler version : GCC10.3.0
Compiler flags   : (flags unknown)
Memory location  : STACK
seedcrc          : 0xE9F5
[0]crclist       : 0xE714
[0]crcmatrix     : 0x1FD7
[0]crcstate      : 0x8E3A
[0]crcfinal      : 0xA14C
Correct operation validated. See README.md for run and reporting rules.
CoreMark 1.0 : 457.21 / GCC10.3.0 (flags unknown) / STACK