> -----Original Message-
> From: Alan Carvalho de Assis
> Sent: Monday, November 22, 2021 6:40 AM
> To: Lukáš Málek
> Cc: dev
> Subject: Re: Raspberry Pi Pico Not Responing
>
> I forgot to copy the mailing list, it could help other users in the future.
>
> BR,
Dear Sir/Madam,
I have been struggling for more than three days with building nuttx for
Raspberry Pi Pico. I follow the guide Getting started. At the
compilation, I run the following commands to compile the Nuttx.
/$git clone -b master https://github.com/raspberrypi/pico-sdk.git//
//$export P
