ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

smartcard.run: remove legacy platform_drv

Browse Source 
Ref genodelabs/genode#4511
Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski 2022-09-16 11:51:38 +02:00 committed by Christian Helmuth
parent c8f055c9e3
commit 9b38af4d7d
1 changed files with 34 additions and 48 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

82
repos/libports/run/smartcard.run
View File

@ -22,26 +22,14 @@ proc smartcard_product_id {} { return "0x5116" }
# Build
#
set build_components {
core init timer
drivers/usb_host
test/smartcard
lib/vfs_libusb
lib/vfs_pipe
}
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
build $build_components
create_boot_directory
import_from_depot [depot_user]/src/[base_src] \
[depot_user]/pkg/test_usb_host_drv-[board] \
[depot_user]/src/report_rom \
[depot_user]/src/init
build { test/smartcard lib/vfs_libusb lib/vfs_pipe }
#
# Generate config
#
append config {
install_config {
<config>
<parent-provides>
<service name="ROM"/>
@ -56,35 +44,34 @@ append config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>}
<default caps="100"/>
append_platform_drv_config
append config {
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="report_rom">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="no">
<default-policy report="usb_drv -> devices"/>
</config>
</start>
<start name="usb_drv" caps="200">
<binary name="} [usb_host_drv_binary] {"/>
<resource name="RAM" quantum="16M"/>
<provides><service name="Usb"/></provides>
<config bios_handoff="yes">
<report devices="yes"/>
<policy label="test-smartcard -> usb_device"
vendor_id="} [smartcard_vendor_id] {" product_id="} [smartcard_product_id] {"/>
<config>
<default-policy report="usb_drv -> usb_drv -> devices"/>
</config>
<route>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="usb_drv" caps="1500" managing_system="yes">
<binary name="init"/>
<resource name="RAM" quantum="32M"/>
<provides> <service name="Usb"/> </provides>
<route>
<service name="ROM" label="config">
<parent label="drivers.config"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<any-service> <parent/> <any-child/> </any-service>
<service name="Timer"> <child name="timer"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@ -110,26 +97,25 @@ append config {
</start>
</config>}
install_config $config
#
# Boot modules
# Define USB host controller config
#
append usb_config {
<config bios_handoff="yes">
<report devices="yes"/>
<policy label="test-smartcard -> usb_device" vendor_id="} [smartcard_vendor_id] {" product_id="} [smartcard_product_id] {"/>
</config>}
set fd [open [run_dir]/genode/usb_host_drv.config w]
puts $fd $usb_config
close $fd
# generic modules
set boot_modules {
core init timer test-smartcard
build_boot_image {
test-smartcard
ld.lib.so pcsc-lite.lib.so ccid.lib.so libusb.lib.so
libc.lib.so vfs.lib.so libm.lib.so posix.lib.so
Info.plist vfs_libusb.lib.so vfs_pipe.lib.so
}
lappend boot_modules [usb_host_drv_binary]
append_platform_drv_boot_modules
build_boot_image $boot_modules
run_genode_until { Response: 62 0A 82 01 38 83 02 3F 00 8A 01 05 90 00} 30
exec rm bin/Info.plist