PKGFILES += textmode_vga/textmode_vga_platform_dependent_pkg
PKGFILES += textmode_vga/textmode_vga_pkg
PKGFILES += textmode_vga/font_pkg
PKGFILES += textmode_vga/textmode_vga_platform_dependent_pkg
PKGFILES += textmode_vga/textmode_vga_pkg
PKGFILES += textmode_vga/font_pkg