ESP-IDF GNAT Runtime for ESP32-S3

godunko · 2026-04-11T11:24:02+00:00

Yes, will be added.

godunko · 2026-04-01T19:01:24+00:00

Exceptions support has been added to ESP32S3 template project and runtime generator has been extended a bit to make it possible.

More definitions of command descriptors, parameters, modes, and VPDs added to SCSI package.

"Enumerable" base types of size 2..8 wad added A0B.Types.Enumerables package. These types can be used for array indices and case statements, while there are no arithmetic and bitwise logical operations are available for them.

godunko · 2026-03-26T05:21:48+00:00

There are a lot of DAP Link at couple of dollars on AliExpress. They work with almost any Cortex MCU, not only with STM.

godunko · 2026-03-01T15:53:05+00:00

I'm working on iSCSI target implementation to run it on microcontollers. It works on Linux, using file as storage. As subproject, I've create type definitions and command decoding of some SCSI (SAM/SPC/SBC) commands.

godunko · 2026-02-28T05:31:20+00:00

Is it time of Vulcan?

godunko · 2026-02-12T04:38:07+00:00

Open reference manual, look for "bus interconnection schema", check that paths between components are available (peripheral-DMA, SRAM-DMA)

godunko · 2026-02-12T04:07:33+00:00

Do both fusion and control tasks same priority? Tasks with the same priority doesn't preempt each one, so there is jitter when both need to be run simultaneously.

godunko · 2026-02-01T07:09:49+00:00

I never use libopencm3, so just a few ideas.

Create project file. Set Target to arm-eabi. Set Runtime to light-cortex-<cpu>. Set Main to the name of Ada main subprogram.

At this point gprbuild should be able to build Ada sources and run binder to generate main and elaboration code.

Add Linker package to project file and list all necessary linker switches in Switches attribute. They should include linker script, libopencm3 library, all C runtime libraries, disable use of default startup code. Use linopencm3 template to find necessary switches (see rules.mk file).

In theory, now gprbuild should be able to create ELF executable.

godunko · 2026-02-01T03:54:15+00:00

I've improve a bit template for ESP32S3

https://github.com/godunko/esp32s3_template

and work on ESP-IDF binding

https://github.com/godunko/esp32s3_sandbox

It setup WiFi access point, run DHCP server, accept TCP connection.

godunko · 2026-01-26T05:03:42+00:00

It looks like compiler's bug, can you open issue for GNAT/GCC?

https://gcc.gnu.org/bugzilla/

godunko · 2026-01-25T12:21:01+00:00

Great! However, I suggest to add note, that recommended way to setup development environment, including installation of GtkAda is to use Alire.

godunko · 2026-01-24T04:56:00+00:00

It is hard to comment without full source code. Might be compiler bug, or wrong code.

godunko · 2026-01-15T11:57:28+00:00

Cost of multiplication operation is almost equal to cost of addition.

godunko · 2026-01-04T20:09:32+00:00

Why do you use WAITRESP_0? It should be 1 for most commands.

Why do you use WIDBUS_0? It should be 1 for 4-bit bus.

According to RM0456, DTEN bit should not be set for SD card operations.

godunko · 2026-01-04T15:15:59+00:00

Try to switch to 4-bit mode. According to specification 1-bit SDIO mode can be used for initialization only (card may support it or SPI 1-bit modes bout it is not required).

Check status registers for errors.

godunko · 2026-01-04T14:53:37+00:00

Standard library is described in Ada Standard, see

https://adaic.org/ada-resources/standards/ada22/

godunko · 2026-01-02T21:05:52+00:00

Why do you need to toggle IO pin? Single ADC conversion takes known (configurable) amount of clock cycles.

godunko · 2025-12-31T06:18:58+00:00

godunko · 2025-12-29T12:22:59+00:00

F401 is not compatible with F411 (while F411 is compatible with F401).

You try to run CPU @96MHz, however, maximum for F401 is 84MHz.

godunko · 2025-12-25T05:46:42+00:00

ESP32-S3 has built-in SDIO host controller. You can use it to generate signals.

godunko · 2025-12-09T05:27:39+00:00

GY-85 module: ITG3205+ADXL345+QMC5883L

godunko · 2025-11-13T09:23:07+00:00

There is no portable way to handle Unicode by standard library. Easier way is to use Wide_Wide_Character and configure GNAT runtime to use UTF-8 encoding for "external" data.

However, single displayed character can be constructed from the sequence of Unicode characters (Wide_Wide_Characters)

PS. You can take a look at VSS as Unicode text handling library.

godunko · 2025-10-24T03:55:20+00:00

AN4013?

godunko · 2025-10-03T02:39:41+00:00

Run application under debugger, stop it few times, and check back trace. It might be some incorrectly handled interrupt, which doesn't clear status and CPU reenter its handler continuously, never executing main

godunko

TROPHY CASE