Arm Mbed Ethernet IOT Starter Kit

Mbed OS Hello world!
1

I bought a book on Amazon.com in the United States,
"Designing Embedded Systems … " by Perry Xiao, Wiley.

This book uses:
Arm Mbed Ethernet IOT Starter Kit FRDM-K64F development board.

Is there a web site URL link, to buy this starter kit, development board please?

Thanks and best regards,

2

Looks like this board is a bit hard to find right now. Octopart says the only place with it in stock is here.

3

Thank you very much for the info.

Best regards,