hevs-isi/especial-backend

ESPecIaL - STM32 QEMU emulator and HAL for the STM32-103STK dev. kit

ESPeciaL - back-end

This repository contains the C++ Hardware Abstraction Layer (HAL) for the STM32-103STK development board with sample applications and a modified version of the Qemu emulator.

Qemu for STM32

Based on a modified version of Qemu with an STM32 microcontroller implementation. Basic STM32F1 microcontroller with the following peripherals. See the qemu_stm32 project for more details.

• RCC
• GPIO
• EXTI
• AFIO
• UART
• TIMER (work in progress)

Configure and make Qemu

$ ./configure --enable-debug --target-list="arm-softmmu"
$ make -j4

Run Qemu

The modified version of Qemu for ARM is available in arm-softmmu/qemu-system-arm.

$ ./arm-softmmu/qemu-system-arm --version
QEMU emulator version 2.1.1, Copyright (c) 2003-2008 Fabrice Bellard

A base project and Eclipse run configurations are available to emulate STM32 sotware in Qemu.

License

ESPeciaL is licensed under the MIT License.

especial-backend's Issues

Qemu Stm32 upgrade

The version 0.1.3 of QEMU for STM32 is available since today.
Timers are now available, so it would be great to upgrade to this version.

Set values to digital inputs

Digital input values should be controlled from the Scala side, to automate test cases.

GPIO IRQs

When outputs are connected to IRQs (using the qdev_connect_gpio_out function in the machine init), IRQs are triggered only when the state of the output change (edge detection).

All outputs write should trigger an IRQ callback. This is necessary to send events/messages from the QEMU TCP client to the Scala monitor server.

QEMU and target clock

The clock frequency is not the same on QEMU and on the real target. Busy loops delays (with an ASM nop operation) cannot be used for now.