[Qemu-devel] [PATCH] Makefile vgabios.c: Add filename to VGA splash screen

[Qemu-devel] [PATCH] Makefile vgabios.c: Add filename to VGA splash screen

[Gerhard Wiesinger]

Filename is now displayed at VGA splash screen
to see which BIOS on different VGAs will be used.

Signed-off-by: Gerhard Wiesinger <lists@wiesinger.com>
---
  Makefile  |    2 +-
  vgabios.c |    3 +++
  2 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/Makefile b/Makefile
index 578721a..627b758 100644
--- a/Makefile
+++ b/Makefile
@@ -74,7 +74,7 @@ vgabios-qxl.debug.bin    : $(VGA_FILES) $(VBE_FILES) biossums

  # build rule
  %.bin:
-	$(GCC) -E -P vgabios.c $(VGABIOS_VERS) $(VGAFLAGS) $(VGABIOS_DATE) > _$*_.c
+	$(GCC) -E -P vgabios.c $(VGABIOS_VERS) $(VGAFLAGS) $(VGABIOS_DATE) -DBIOS_NAME=\"$*.bin\" > _$*_.c
  	$(BCC) -o $*.s -C-c -D__i86__ -S -0 _$*_.c
  	sed -e 's/^\.text//' -e 's/^\.data//' $*.s > _$*_.s
  	$(AS86) _$*_.s -b $*.bin -u -w- -g -0 -j -O -l $*.txt
diff --git a/vgabios.c b/vgabios.c
index c1e312b..3b308f2 100644
--- a/vgabios.c
+++ b/vgabios.c
@@ -177,6 +177,9 @@ vgabios_version:

  vgabios_date:
  .ascii  VGABIOS_DATE
+.ascii  " ("
+.ascii  BIOS_NAME
+.ascii  ")"
  .byte   0x0a,0x0d
  .byte	0x00

-- 
1.7.7.6

Re: [Qemu-devel] [PATCH] Makefile vgabios.c: Add filename to VGA splash screen

[Gerhard Wiesinger]

Any comments?

Ciao,
Gerhard

--
http://www.wiesinger.com/


On Fri, 17 Feb 2012, Gerhard Wiesinger wrote:

> Filename is now displayed at VGA splash screen
> to see which BIOS on different VGAs will be used.
>
> Signed-off-by: Gerhard Wiesinger <lists@wiesinger.com>
> ---
> Makefile  |    2 +-
> vgabios.c |    3 +++
> 2 files changed, 4 insertions(+), 1 deletions(-)
>
> diff --git a/Makefile b/Makefile
> index 578721a..627b758 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -74,7 +74,7 @@ vgabios-qxl.debug.bin    : $(VGA_FILES) $(VBE_FILES) 
> biossums
>
> # build rule
> %.bin:
> -	$(GCC) -E -P vgabios.c $(VGABIOS_VERS) $(VGAFLAGS) $(VGABIOS_DATE) > 
> _$*_.c
> +	$(GCC) -E -P vgabios.c $(VGABIOS_VERS) $(VGAFLAGS) $(VGABIOS_DATE) 
> -DBIOS_NAME=\"$*.bin\" > _$*_.c
> 	$(BCC) -o $*.s -C-c -D__i86__ -S -0 _$*_.c
> 	sed -e 's/^\.text//' -e 's/^\.data//' $*.s > _$*_.s
> 	$(AS86) _$*_.s -b $*.bin -u -w- -g -0 -j -O -l $*.txt
> diff --git a/vgabios.c b/vgabios.c
> index c1e312b..3b308f2 100644
> --- a/vgabios.c
> +++ b/vgabios.c
> @@ -177,6 +177,9 @@ vgabios_version:
>
> vgabios_date:
> .ascii  VGABIOS_DATE
> +.ascii  " ("
> +.ascii  BIOS_NAME
> +.ascii  ")"
> .byte   0x0a,0x0d
> .byte	0x00
>
> -- 
> 1.7.7.6
>
>