mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
virtualbox_auto tests: remove legacy platform_drv
Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski
Christian Helmuth
parent
f59ee209d2
commit
5600e21d16
@ -28,6 +28,10 @@ import_from_depot [depot_user]/src/[base_src] \
|
||||
[depot_user]/src/libiconv \
|
||||
[depot_user]/src/nitpicker \
|
||||
[depot_user]/src/part_block \
|
||||
[depot_user]/src/platform_drv \
|
||||
[depot_user]/src/acpi_drv \
|
||||
[depot_user]/src/pci_decode \
|
||||
[depot_user]/src/report_rom \
|
||||
[depot_user]/src/stdcxx \
|
||||
[depot_user]/src/vfs \
|
||||
[depot_user]/src/vfs_pipe \
|
||||
@ -50,25 +54,19 @@ if {$use_rumpfs} {
|
||||
append build_components {
|
||||
drivers/ahci
|
||||
drivers/framebuffer
|
||||
drivers/rtc
|
||||
drivers/ps2
|
||||
virtualbox5
|
||||
}
|
||||
|
||||
lappend_if [expr $use_serial] build_components server/log_terminal
|
||||
lappend_if [expr $use_vbox5] build_components virtualbox5
|
||||
lappend_if [expr $use_ps2] build_components drivers/ps2
|
||||
lappend_if [expr $use_usb] build_components app/usb_report_filter
|
||||
lappend_if [have_spec x86] build_components drivers/rtc
|
||||
lappend_if [expr $use_ram_fs || $use_usb] build_components lib/vfs_import
|
||||
lappend_if [expr $use_cpu_load] build_components app/trace_subject_reporter
|
||||
lappend_if [expr $use_cpu_load] build_components app/cpu_load_display
|
||||
lappend_if [expr $use_cpu_load] build_components app/top
|
||||
lappend_if [have_spec nova] build_components app/log_core
|
||||
|
||||
source ${genode_dir}/repos/base/run/platform_drv.inc
|
||||
# override defaults of platform_drv.inc
|
||||
proc platform_drv_priority {} { return { priority="-1"} }
|
||||
|
||||
append_platform_drv_build_components
|
||||
|
||||
build $build_components
|
||||
|
||||
if {$use_rumpfs && !$use_ram_fs} {
|
||||
@ -111,6 +109,57 @@ append config {
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
|
||||
<start name="platform_reports">
|
||||
<binary name="report_rom"/>
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides>
|
||||
<service name="Report"/>
|
||||
<service name="ROM"/>
|
||||
</provides>
|
||||
<config>
|
||||
<policy label="pci_decode -> system" report="acpi_drv -> acpi"/>
|
||||
<policy label="platform_drv -> devices" report="pci_decode -> devices"/>
|
||||
</config>
|
||||
</start>
|
||||
|
||||
<start name="acpi_drv" caps="350">
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<route>
|
||||
<service name="Report"> <child name="platform_reports"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="pci_decode" caps="350">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<route>
|
||||
<service name="ROM" label="system"> <child name="platform_reports"/> </service>
|
||||
<service name="Report"> <child name="platform_reports"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="platform_drv" caps="400" managing_system="yes">
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides>
|
||||
<service name="Platform"/>
|
||||
</provides>
|
||||
<config>
|
||||
<policy label_prefix="ps2_drv"> <device name="ps2"/> </policy>
|
||||
<policy label_prefix="ahci_drv"> <pci class="AHCI"/> </policy>
|
||||
<policy label_prefix="nic_drv"> <pci class="ETHERNET"/> </policy>
|
||||
<policy label_prefix="audio_drv">
|
||||
<pci class="AUDIO"/> <pci class="HDAUDIO"/> </policy>
|
||||
<policy label_prefix="fb_drv" info="yes"> <pci class="VGA"/> </policy>
|
||||
<policy label_prefix="usb_drv" info="yes"> <pci class="USB"/> </policy>
|
||||
</config>
|
||||
<route>
|
||||
<service name="ROM" label="devices"> <child name="platform_reports"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="ahci_drv" priority="-1">
|
||||
<resource name="RAM" quantum="10M"/>
|
||||
<provides><service name="Block"/></provides>
|
||||
@ -118,6 +167,29 @@ append config {
|
||||
<policy label_prefix="part_block" device="0" writeable="yes"/>
|
||||
</config>
|
||||
</start>
|
||||
|
||||
<start name="ps2_drv" priority="-1">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<config/>
|
||||
<route>
|
||||
<service name="Event"> <child name="event_filter" label="ps2"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="fb_drv" priority="-1" caps="150">
|
||||
<binary name="vesa_fb_drv"/>
|
||||
<resource name="RAM" quantum="32M"/>
|
||||
<config/>
|
||||
</start>
|
||||
|
||||
<start name="rtc_drv" priority="-1">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides>
|
||||
<service name="Rtc"/>
|
||||
</provides>
|
||||
</start>
|
||||
|
||||
<start name="part_block" priority="-1">
|
||||
<resource name="RAM" quantum="10M"/>
|
||||
<provides><service name="Block"/></provides>
|
||||
@ -219,18 +291,6 @@ append_if [expr $use_ram_fs && $use_overlay_from_disk] config {
|
||||
</route>
|
||||
</start>}
|
||||
|
||||
append_platform_drv_config
|
||||
|
||||
append_if [expr $use_ps2] config {
|
||||
<start name="ps2_drv" priority="-1">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<config/>
|
||||
<route>
|
||||
<service name="Event"> <child name="event_filter" label="ps2"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>}
|
||||
|
||||
append_if [expr $use_cpu_load] config {
|
||||
<start name="trace_subject_reporter" priority="-1">
|
||||
<resource name="RAM" quantum="6M"/>
|
||||
@ -373,21 +433,6 @@ append_if [expr $use_usb] config {
|
||||
</route>
|
||||
</start>}
|
||||
|
||||
append_if [have_board pc] config {
|
||||
<start name="fb_drv" priority="-1" caps="150">
|
||||
<binary name="vesa_fb_drv"/>
|
||||
<resource name="RAM" quantum="32M"/>
|
||||
<config/>
|
||||
</start>}
|
||||
|
||||
append_if [have_spec x86] config {
|
||||
<start name="rtc_drv" priority="-1">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides>
|
||||
<service name="Rtc"/>
|
||||
</provides>
|
||||
</start>}
|
||||
|
||||
append_if [expr $use_serial] config {
|
||||
<start name="log_terminal" priority="-1">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
@ -406,12 +451,15 @@ install_config $config
|
||||
|
||||
append boot_modules {
|
||||
ahci_drv
|
||||
ps2_drv
|
||||
rtc_drv
|
||||
vesa_fb_drv
|
||||
qemu-usb.lib.so
|
||||
libyuv.lib.so
|
||||
}
|
||||
append boot_modules $virtualbox5_binary
|
||||
|
||||
lappend_if [expr $use_serial] boot_modules log_terminal
|
||||
lappend_if [expr $use_vbox5] boot_modules $virtualbox5_binary
|
||||
lappend_if [expr $use_ram_fs && !$use_overlay_from_disk] boot_modules $overlay_image
|
||||
lappend_if [expr $use_cpu_load] boot_modules trace_subject_reporter
|
||||
lappend_if [expr $use_cpu_load] boot_modules cpu_load_display
|
||||
@ -419,9 +467,4 @@ lappend_if [expr $use_cpu_load] boot_modules top
|
||||
lappend_if [have_spec nova] boot_modules log_core
|
||||
|
||||
# platform-specific modules
|
||||
lappend_if [expr $use_ps2] boot_modules ps2_drv
|
||||
lappend_if [expr $use_usb] boot_modules usb_report_filter
|
||||
lappend_if [have_board pc] boot_modules vesa_fb_drv
|
||||
lappend_if [have_spec x86] boot_modules rtc_drv
|
||||
|
||||
append_platform_drv_boot_modules
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user