| FSConfig.py (9539:0ac00d9a8aaf) | FSConfig.py (9622:d351a723eb02) |
|---|---|
| 1# Copyright (c) 2010-2012 ARM Limited 2# All rights reserved. 3# 4# The license below extends only to copyright in the software and shall 5# not be construed as granting a license to any other intellectual 6# property including but not limited to intellectual property relating 7# to a hardware implementation of the functionality of the software 8# licensed hereunder. You may use the software subject to the license --- 522 unchanged lines hidden (view full) --- 531 # just to avoid corner cases. 532 phys_mem_size = sum(map(lambda mem: mem.range.size(), 533 self.memories.unproxy(self))) 534 assert(phys_mem_size >= 0x200000) 535 536 self.e820_table.entries = \ 537 [ 538 # Mark the first megabyte of memory as reserved | 1# Copyright (c) 2010-2012 ARM Limited 2# All rights reserved. 3# 4# The license below extends only to copyright in the software and shall 5# not be construed as granting a license to any other intellectual 6# property including but not limited to intellectual property relating 7# to a hardware implementation of the functionality of the software 8# licensed hereunder. You may use the software subject to the license --- 522 unchanged lines hidden (view full) --- 531 # just to avoid corner cases. 532 phys_mem_size = sum(map(lambda mem: mem.range.size(), 533 self.memories.unproxy(self))) 534 assert(phys_mem_size >= 0x200000) 535 536 self.e820_table.entries = \ 537 [ 538 # Mark the first megabyte of memory as reserved |
| 539 X86E820Entry(addr = 0, size = '1MB', range_type = 2), | 539 X86E820Entry(addr = 0, size = '639kB', range_type = 1), 540 X86E820Entry(addr = 0x9fc00, size = '385kB', range_type = 2), |
| 540 # Mark the rest as available 541 X86E820Entry(addr = 0x100000, 542 size = '%dB' % (phys_mem_size - 0x100000), 543 range_type = 1) 544 ] 545 546 # Command line 547 self.boot_osflags = 'earlyprintk=ttyS0 console=ttyS0 lpj=7999923 ' + \ --- 26 unchanged lines hidden --- | 541 # Mark the rest as available 542 X86E820Entry(addr = 0x100000, 543 size = '%dB' % (phys_mem_size - 0x100000), 544 range_type = 1) 545 ] 546 547 # Command line 548 self.boot_osflags = 'earlyprintk=ttyS0 console=ttyS0 lpj=7999923 ' + \ --- 26 unchanged lines hidden --- |