mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
c2e6fd9392
The i.MX53 Framebuffer driver doesn't come up on on Fiasco.OC because the Platform driver isn't allowed to access essential devises like the SRC or the Fuses. This is most likely due to the kernel not configuring the CSU appropriately. Ref #2268
97 lines
2.1 KiB
Plaintext
97 lines
2.1 KiB
Plaintext
#
|
|
# Build
|
|
#
|
|
|
|
if {[have_spec odroid_xu] || [have_spec wand_quad] || [have_spec zynq] || [have_spec imx53] && [have_spec foc]} {
|
|
puts "\n Run script is not supported on this platform. \n";
|
|
exit 0
|
|
}
|
|
|
|
set build_components { core init test/fb_bench drivers/framebuffer drivers/timer }
|
|
|
|
source ${genode_dir}/repos/base/run/platform_drv.inc
|
|
append_platform_drv_build_components
|
|
|
|
lappend_if [have_spec gpio] build_components drivers/gpio
|
|
|
|
build $build_components
|
|
|
|
create_boot_directory
|
|
|
|
#
|
|
# Generate config
|
|
#
|
|
|
|
append config {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="IRQ"/>
|
|
<service name="IO_MEM"/>
|
|
<service name="IO_PORT"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
|
|
<start name="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>}
|
|
|
|
append_if [have_spec gpio] config {
|
|
<start name="gpio_drv">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="Gpio"/></provides>
|
|
<config/>
|
|
</start>}
|
|
|
|
append_if [have_spec sdl] config {
|
|
<start name="fb_sdl">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides>
|
|
<service name="Input"/>
|
|
<service name="Framebuffer"/>
|
|
</provides>
|
|
</start>}
|
|
|
|
append_platform_drv_config
|
|
|
|
append_if [have_spec framebuffer] config {
|
|
<start name="fb_drv">
|
|
<resource name="RAM" quantum="20M"/>
|
|
<provides><service name="Framebuffer"/></provides>
|
|
</start>}
|
|
|
|
append config {
|
|
<start name="test-fb_bench">
|
|
<resource name="RAM" quantum="40M"/>
|
|
</start>
|
|
</config>}
|
|
|
|
install_config $config
|
|
|
|
#
|
|
# Boot modules
|
|
#
|
|
|
|
set boot_modules { core ld.lib.so init timer test-fb_bench }
|
|
|
|
append_platform_drv_boot_modules
|
|
|
|
lappend_if [have_spec sdl] boot_modules fb_sdl
|
|
lappend_if [have_spec framebuffer] boot_modules fb_drv
|
|
lappend_if [have_spec gpio] boot_modules gpio_drv
|
|
|
|
build_boot_image $boot_modules
|
|
|
|
# disable QEMU graphic to enable testing on our machines without SDL and X
|
|
append qemu_args "-nographic -m 128"
|
|
|
|
run_genode_until {.*--- Framebuffer benchmark finished ---.*\n} 30
|