Raspberry Pi port, piCore-15.0 is available!
...... ### [arg]: arg optional #Option "ShadowFB" # [<bool>] #Option "DefaultRefresh" # [<bool>] #Option "ModeSetClearScreen" # [<bool>] Identifier "Card0" Driver "vesa" VendorName "Unknown Vendor" BoardName "Unknown Board" BusID "PCI:1:0:0" Option "ShadowFB" "false"EndSection.....