wookey-project/ewok-kernel

A secure and high performances microkernel for building secure MCU-based IoTs

ewok-kernel's Issues

State of the project ?

Hi,

I wonder what's the state of this project :

• There is a Pull Request pending for more than 2 years.
• I tried to subscribe to the mailing list without success. The mailing list does not exists on the CNRS mailing list platform.

Hope to hear you soon.

Invalid cast of function types

IIn the following code

ewok-kernel/exti-handler.c

Line 78 in c71a6a5

.irq_handler = (irq_handler_t) gpio->exti_handler,

there is a cast from type user_handler_t (which is a function taking three parameters) to type irq_handler_t (which takes only one parameter).
I get that it is to create a "fake" IRQ cell but it seems very unsafe. Is it a deliberate choice ?