denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Specified used APIs for MxTasking

Browse Source
This commit is contained in:
Michael Mueller
2022-07-11 12:01:24 +02:00
parent e5b58e1eb6
commit 1ff4093b40
2 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/libports/recipes/src/mxtasking/api Normal file
View File

@@ -0,0 +1 @@
mxtasking

4
repos/libports/recipes/src/mxtasking/used_api Normal file
View File

@@ -0,0 +1,4 @@
base
libm
libc
stdcxx