Giters

wallento / sel4-tee-os-sample-app

sample app for sel4-tee-os

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

sample app for sel4-tee-os

Languages

Language:C 94.0%Language:C++ 4.2%Language:Makefile 1.9%