autoport: Minor style fixes in readme.

Change-Id: I089ec3d68e734820d13bb68a7122dfdb89c3f6a3
Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-on: http://review.coreboot.org/10368
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Edward O'Callaghan <edward.ocallaghan@koparo.com>
This commit is contained in:
Vladimir Serbinenko 2015-05-29 12:12:28 +02:00
parent 2befcbb85d
commit a78f699807

View File

@ -2,16 +2,17 @@
## Supported platforms
### Chipset.
### Chipset
For any sandybridge or ivybridge platform generated result should
be bootable, possibly with minor fixes.
### EC
EC support is likely to work on intel-based thinkpads. Other laptops are likely to miss EC support
EC support is likely to work on intel-based thinkpads. Other laptops are
likely to miss EC support
## How to use
* Go into BIOS setup on target machine and enable all the device.
* Go into BIOS setup on target machine and enable all the devices.
This will allow autoport to detect as much as possible
* Boot into target machine under GNU/Linux
* Make sure you have GCC and golang installed
@ -116,7 +117,7 @@ You can and should omit lines which correspond to
slots not present on your machine.
This way works well if your RAM is socketed. For soldered RAM if you see
its SPD, you're in a luck and can proceed the same way although you may have to
its SPD, you're in luck and can proceed the same way although you may have to
guess some entries due to RAM not being removable.
Most cases of soldered RAM don't have EEPROM chip. In this case you'd have to create
@ -295,11 +296,11 @@ your device has very special power saving requirements.
## `install_intel_vga_int15_handler`
This is used to configure int15 hook used by vga bios. Parameters 2 and 3 usually
shouldn't be modified as vgabios is quite ok to figure panel fit and active output
by itself. Last number is the numerical ID of display type. If you don't get any output
with VGABIOS you should try different values for 4th parameter. If it doesn't help
try different values for first parameter as well
This is used to configure int15 hook used by vgabios. Parameters 2 and 3 usually
shouldn't be modified as vgabios is quite ok to figure panel fit and active
output by itself. Last number is the numerical ID of display type. If you
don't get any output with vgabios you should try different values for 4th
parameter. If it doesn't help try different values for first parameter as well
## CMOS options