Well.. it's not strange at all :) I am using NuttX-v10.0.1. This is fixed in 625eef20f00fbe9bdb4995ad9dfb24b71227e954, which came at a later time.
I just tried master, which brought the expected results. Thank you. Στις Σάβ, 6 Φεβ 2021 στις 5:27 μ.μ., ο/η Gregory Nutt <spudan...@gmail.com> έγραψε: > On 2/6/2021 9:13 AM, Fotis Panagiotopoulos wrote: > > Indeed I was expecting arm_usestack() to do the colorization, but > > apparently it doesn't. > > That is what is confusing because it does do the coloration: > > https://github.com/apache/incubator-nuttx/blob/master/arch/arm/src/common/arm_usestack.c#L153 > > >