ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Package pdf_view to read from file-system

Browse Source 
Merge the configuration from raw/pdf_view into the pkg/pdf_view runtime
file. Request a File_system session and load files from there, rather
than by ROM.

Ref #2859
This commit is contained in:
Emery Hemingway 2018-06-10 21:10:21 +02:00 committed by Norman Feske
parent fb0a50c71c
commit a7a160eebc
5 changed files with 36 additions and 48 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/libports/recipes/pkg/pdf_view/archives
View File

@ -9,4 +9,3 @@ _/src/openjpeg
_/src/vfs
_/src/zlib
_/src/nit_fb
_/raw/pdf_view

39
repos/libports/recipes/pkg/pdf_view/runtime
View File

@ -1,9 +1,8 @@
<runtime ram="64M" caps="2000" binary="init" config="pdf_view.config">
<runtime ram="64M" caps="2000" binary="init">
<requires> <timer/> <nitpicker/> <rom label="slides.pdf"/> </requires>
<requires> <timer/> <nitpicker/> <file-system/> </requires>
<content>
<rom label="pdf_view.config"/>
<rom label="ld.lib.so"/>
<rom label="libc.lib.so"/>
<rom label="libm.lib.so"/>
@ -19,4 +18,38 @@
<rom label="vfs.lib.so"/>
</content>
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="File_system"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<start name="nit_fb">
<resource name="RAM" quantum="16M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config xpos="64" ypos="64" initial_width="320" initial_height="240"/>
</start>
<start name="pdf_view" caps="300">
<binary name="pdf_view"/>
<exit propagate="yes"/>
<resource name="RAM" quantum="100M"/>
<config>
<vfs>
<fs writeable="no"/>
<dir name="dev"> <log/> </dir>
</vfs>
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>
</start>
</config>
</runtime>

4
repos/libports/recipes/raw/pdf_view/content.mk
View File

@ -1,4 +0,0 @@
content: pdf_view.config
pdf_view.config:
cp $(REP_DIR)/recipes/raw/pdf_view/$@ $@

1
repos/libports/recipes/raw/pdf_view/hash
View File

@ -1 +0,0 @@
2018-02-14 45d5290875e2fe1b82e25a39429c82ab22859b7c

39
repos/libports/recipes/raw/pdf_view/pdf_view.config
View File

@ -1,39 +0,0 @@
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<start name="nit_fb">
<resource name="RAM" quantum="16M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config xpos="64" ypos="64" initial_width="320" initial_height="240"/>
</start>
<start name="pdf_view" caps="300">
<binary name="pdf_view"/>
<resource name="RAM" quantum="100M"/>
<config>
<vfs>
<rom name="test.pdf" />
<dir name="dev"> <log/> </dir>
</vfs>
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>
<route>
<service name="ROM" label="test.pdf"> <parent label="slides.pdf"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
</config>