« Previous | Next » 

Revision 77d4db01

ID77d4db015c99ce7083fd5b33f0c650176fe8bc98

Added by Eduardo Habkost almost 15 years ago

Fix vga_screen_dump_blank() PPM generation

vga_screen_dump_blank() was not generating a valid PPM file: the width of the
image made no sense (why it was multiplied by sizeof(uint32_t)?), and there was
only one sample per pixel, instead of three.

Signed-off-by: Eduardo Habkost <>
Signed-off-by: Anthony Liguori <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences