ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 18:56:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

driver_time.run: remove legacy platform_drv

Browse Source 
Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski 2022-09-27 11:23:23 +02:00 committed by Christian Helmuth
parent 5600e21d16
commit 85e69f6882
1 changed files with 12 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
repos/pc/run/driver_time.run
View File

@ -11,30 +11,16 @@ set use_top 0
set build_components { set build_components {
core init timer core init timer
drivers/platform
test/driver_time test/driver_time
} }
append_if $use_top build_components { app/top } append_if $use_top build_components { app/top }
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
build $build_components build $build_components
create_boot_directory create_boot_directory
# override default platform driver policy
proc platform_drv_policy {} {
return {
<policy label_prefix="test-driver_time"> <device name="PS2"/> </policy>
}
}
#
# Generate config
#
append config { append config {
<config verbose="yes" prio_levels="4"> <config verbose="yes" prio_levels="4">
<parent-provides> <parent-provides>
@ -58,12 +44,18 @@ append config {
<provides><service name="Timer"/></provides> <provides><service name="Timer"/></provides>
</start> </start>
<start name="platform_drv">
<resource name="RAM" quantum="1M"/>
<provides><service name="Platform"/></provides>
<config>
<policy label="test-driver_time -> "> <device name="ps2"/> </policy>
</config>
</start>
<start name="test-driver_time" priority="-1"> <start name="test-driver_time" priority="-1">
<resource name="RAM" quantum="2M"/> <resource name="RAM" quantum="2M"/>
</start>} </start>}
append_platform_drv_config
append_if $use_top config { append_if $use_top config {
<start name="top"> <start name="top">
<resource name="RAM" quantum="2M"/> <resource name="RAM" quantum="2M"/>
@ -79,16 +71,15 @@ install_config $config
# Boot modules # Boot modules
# #
file copy [select_from_repositories board/[board]/devices] [run_dir]/genode/devices
# generic modules # generic modules
set boot_modules { set boot_modules {
core ld.lib.so init timer core ld.lib.so init timer platform_drv
test-driver_time test-driver_time
} }
append_if $use_top boot_modules { top } append_if $use_top boot_modules { top }
append_platform_drv_boot_modules
build_boot_image $boot_modules build_boot_image $boot_modules
append qemu_args "-nographic " append qemu_args "-nographic "