IPC specification (just a question)

f9micro / f9-kernel

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

Other

679 stars 145 forks source link

Closed Daparrag closed 6 years ago

Daparrag commented 6 years ago

Hi everyone

I would like to know which kind of IPC did you implement in the f9-kernel thanks you.

jserv commented 6 years ago

F9 implements typical L4 IPC messages which consist of the following kinds of parameters:

Daparrag commented 6 years ago

thanks you for your answer.