denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

rpi: remove drivers for platform, fb and sd_card

Browse Source 
Fix #4396
This commit is contained in:
Stefan Kalkowski
2022-01-28 13:19:18 +01:00
committed by Norman Feske
parent 00f7819623
commit c99ca21649
42 changed files with 0 additions and 2490 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/platform_drv.inc
View File

@@ -1,7 +1,6 @@
proc have_platform_drv {} {
return [expr [have_board imx53_qsb] \
|| [have_board imx53_qsb_tz] \
|| [have_board rpi] \
|| [have_board pc]]
}
@@ -66,7 +65,6 @@ proc append_platform_drv_build_components {} {
proc platform_drv_binary {} {
if {[have_board imx53_qsb]} { return legacy_imx53_platform_drv }
if {[have_board imx53_qsb_tz]} { return legacy_imx53_platform_drv }
if {[have_board rpi]} { return rpi_platform_drv }
if {[have_board pc]} { return legacy_pc_platform_drv }
return no_platform_drv_available
}