https://github.com/wookey-project/ewok-kernel

A secure and high performances microkernel for building secure MCU-based IoTs
https://github.com/wookey-project/ewok-kernel

ada arm armv7m embedded ewok ewok-kernel microcontroller microcontroller-firmware microkernel security spark

Last synced: 14 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/wookey-project/ewok-kernel
• Owner: wookey-project
• License: apache-2.0
• Created: 2018-09-25T23:28:49.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2021-05-27T08:09:25.000Z (over 3 years ago)
• Last Synced: 2024-07-31T20:30:53.607Z (3 months ago)
• Topics: ada, arm, armv7m, embedded, ewok, ewok-kernel, microcontroller, microcontroller-firmware, microkernel, security, spark
• Language: Ada
• Homepage: https://wookey-project.github.io
• Size: 5.12 MB
• Stars: 72
• Watchers: 11
• Forks: 9
• Open Issues: 2

Awesome Lists containing this project

• awesome-ada - ewok - EwoK is a microkernel targeting micro-controllers and embedded systems. (OS and Kernels / Continuous Integration)