GR-PEACH 特設：TOPPERS/ASPでマルチタスク！を参考にしたが、ビルドができません。

https://www.renesas.com/tw/ja/products/gadget-renesas/boards/gr-peach/project-multitask-with-toppers-asp.html

を参考に、ビルドを行ったところ、エラーが出てしまいます。ページ前半のblinkyをターゲットにした場合はページの通りにビルドできますが、ターゲットをmultitask_arduinoに書き換えた場合、ビルドができません。エラーの内容は、

In file included from ../../mbed-lib/arduino-lib/core/Ethernet.cpp:21:0:
../../mbed-lib/EthernetInterface/EthernetInterface.h:27:18: fatal error: rtos.h: No such file or directory
compilation terminated.

だと思われます。

サンプルプロジェクトにファイルが足りていないと思われるのですが、これが正しい場合、不足しているファイルはどのように入手できるでしょうか。

もしくは、私のやり方が間違っている場合は、どのようにすれば正しくビルドできるでしょうか。

もし不足している情報等があれば、追記いたします。解答よろしくお願いいたします。