Examples do not compile with Arduino Giga R1 and Giga display shield. rtos type error . Using Arduino IDE 1.8.19 and latest libraries

[Dowster64]

Hi,
Both the Basic and the Demo examples fail to compile. A similar issue is here for another board
DaleGia/Nano33BLESensor#8
which related to a change needing to include other libraries.

C:\Users\xxxx\Documents\Arduino\libraries\Arduino_GigaDisplay_GFX\src/Arduino_GigaDisplay_GFX.h:50:5: error: 'rtos' does not name a type; did you mean 'utoa'?
     rtos::Thread* _refresh_thd;
     ^~~~
     utoa
exit status 1
Error compiling for board Arduino Giga R1.

Adding
#include "rtos.h" to the includes section on Arduino_GigaDisplay_GFX.h allowed it to compile and run. Not really sure which library it found that in :-)

Thanks for your help

[Dowster64]

I've created a pull request (to the best of my ability) I hope I managed it correctly.