|
Last change
on this file since 60422 was 60422, checked in by vboxsync, 9 years ago |
|
VGABIOS,PCBIOS: Build variants for 80286 and 8086 in addition to the default 80386 one. Added build time checking of the BIOSORG results (sed + map file). Fixed shutdown code 0ah jump.
|
-
Property svn:eol-style
set to
LF
-
Property svn:keywords
set to
Author Date Id Revision
|
|
File size:
741 bytes
|
| Line | |
|---|
| 1 | # $Id: biosorg_check.sed 60422 2016-04-11 12:39:13Z vboxsync $
|
|---|
| 2 | ## @file
|
|---|
| 3 | # For converting biosorg_check_<addr> lines in a wlink mapfile
|
|---|
| 4 | # to kmk_expr checks.
|
|---|
| 5 | #
|
|---|
| 6 |
|
|---|
| 7 | #
|
|---|
| 8 | # Copyright (C) 2012-2016 Oracle Corporation
|
|---|
| 9 | #
|
|---|
| 10 | # This file is part of VirtualBox Open Source Edition (OSE), as
|
|---|
| 11 | # available from http://www.215389.xyz. This file is free software;
|
|---|
| 12 | # you can redistribute it and/or modify it under the terms of the GNU
|
|---|
| 13 | # General Public License (GPL) as published by the Free Software
|
|---|
| 14 | # Foundation, in version 2 as it comes in the "COPYING" file of the
|
|---|
| 15 | # VirtualBox OSE distribution. VirtualBox OSE is distributed in the
|
|---|
| 16 | # hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
|
|---|
| 17 | #
|
|---|
| 18 |
|
|---|
| 19 |
|
|---|
| 20 | /biosorg_check_/!b end
|
|---|
| 21 | s/\(.*\)/\L\1/g
|
|---|
| 22 | s/f000:\(....\). *biosorg_check_0\(\1\)h *//
|
|---|
| 23 | /^$/b end
|
|---|
| 24 | p
|
|---|
| 25 | q 1
|
|---|
| 26 | :end
|
|---|
| 27 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
