f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Provide sample applications for device manipulation

gnitnaw opened this issue · comments

Like control of gpio or I2C device. I would like do some test.

commented

For now, it doesn't exist device driver of GPIO or I2C.

F9 microkernel is supported the following platforms for now.

  1. STM32F4DISCOVERY
  2. STM32F429
  3. STM32P103

If your interesting platforms are not above, you need to reference the following implementations to know how to add a new platform in F9 microkernel.

Reference: Support Platforms

For example, I assume you need to use GPIO in STM32F429. First, you need the device driver of STM32F429. You can reference the following implementation and article.

  1. Library 02- STM32F429 Discovery GPIO tutorial with onboard leds and button
  2. The Project Source Code

Second, you need to refactor it which will be a user apps in F9 microkernel. Also, you need to reference the following implementations to know how to write a user app in F9 microkernel. BTW, I strongly suggest you to see the pingpong app for the first time.

Reference: User APPs

Thanks. Hopefully I can also contribute this project.