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

Utilize Vagrant to bootstrap development

jserv opened this issue · comments

Vagrant is a tool for building complete development environments. With an easy-to-use workflow and focus on automation.

wukong-vagrant is a nice example to speed up M2M development.