;
; Name of the standard TGI driver
;
; 2020-06-04, Greg King
;
; const char tgi_stddrv[];
;

        .export _tgi_stddrv

; A FAT32 8+3 file-name (for SD cards)

.rodata
_tgi_stddrv:    .asciiz "cx320p1.tgi"