Our CI system got caught out by this as well. I solved it in the same way as Ken, retrieved the files from another machine.
Regards, Mark ------------------------------------------- Mark Stevens Blog: blog.mark-stevens.co.uk > On 24 May 2026, at 06:49, Kenneth Pettit <[email protected]> wrote: > > Thanks. > > I ended up finding a copy in one of my repos from 2018 and was able to copy > it to my Macbook and re-configure. > > Ken > > On 5/23/26 6:53 PM, Tomek CEDRO wrote: >> https://github.com/patacongo/tools >> >> -- >> CeDeROM, SQ7MHZ, http://www.tomek.cedro.info <http://www.tomek.cedro.info/> >> >> On Sat, May 23, 2026 at 10:20 PM Kenneth Pettit <[email protected]> >> <mailto:[email protected]> wrote: >>> Hello NuttX community, >>> >>> It has been quite some time since I have done any NuttX development, but >>> I finally have a new project that needs an embedded OS, so I'm back! >>> >>> But I am trying to devleop on my Macbook Pro and having trouble getting >>> kconfig-frontends. It seems I am unable to clone from >>> https://bitbucket.org/nuttx/tools.git ... is this no longer the location >>> of the tools as indicated in the help pages? >>> >>> Thanks, >>> Ken >
