Skip to content

omeh-a/sDDF

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 

Repository files navigation

sDDF

seL4 Device Driver Framework

The sDDF aims to provide interfaces and protocols for writing and porting device drivers to run as seL4 user level programs. It currently supports a network device running on iMX8 hardware, reaching near wire speed. It has been built on top of seL4 Core Platform and requires this pull request. The seL4 Core Platform binaries can be built separately and handed to the echo_server makefile.

Building the sDDF

$ cd echo_server
$ make BUILD_DIR=<path/to/build> SEL4CP_SDK=<path/to/core/platform/sdk> SEL4CP_BOARD=imx8mm SEL4CP_CONFIG=(release/debug)

Benchmarking

In order to run the benchmarks, set SEL4CP_CONFIG=benchmark. The system has been designed to interact with ipbench to take measurements.

Supported Boards

iMX8MM-EVK

About

seL4 Device Driver Framework

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 96.9%
  • CMake 2.6%
  • Makefile 0.3%
  • HTML 0.1%
  • Perl 0.1%
  • Shell 0.0%