PPM to raw VGA (or whatever, 320x200) data in assembly format. Never tested

ppmtovga.py

#!/usr/bin/python

width = 320
height = 200

with open( "splash.ppm", "r" ) as fin:
	ppm = fin.read( ).splitlines( True )
	

#print( ppm[4] );
#print( ppm[58396] == "255\n" );

print( "splash:" );
for i in range( 320*200 ):
	if ( ppm[4+(i*3)] == "255\n" ):
		print( "\tdb 0x7" );
	else:
		print( "\tdb 0x0" );