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

os: extend platform_session api package

Browse Source 
Ref #2190
Ref #3180
This commit is contained in:
Stefan Kalkowski
2019-04-18 14:50:28 +02:00
committed by Christian Helmuth
parent 5bc9082fb7
commit cac0f44194
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/os/recipes/api/platform_session/content.mk
View File

@@ -1,5 +1,6 @@
INCLUDE_SUB_DIRS := platform_session \
spec/imx53/platform_session \
spec/rpi/platform \
spec/rpi/platform_session \
spec/x86/platform_session \
platform_device \