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

--- 505 unchanged lines hidden (view full) ---

514def makeLinuxX86System(mem_mode, numCPUs = 1, mdesc = None, Ruby = False):
515 self = LinuxX86System()
516
517 # Build up the x86 system and then specialize it for Linux
518 makeX86System(mem_mode, numCPUs, mdesc, self, Ruby)
519
520 # We assume below that there's at least 1MB of memory. We'll require 2
521 # just to avoid corner cases.
522 phys_mem_size = sum(map(lambda mem: mem.range.size(),
523 self.memories.unproxy(self)))
524 assert(phys_mem_size >= 0x200000)
525
526 self.e820_table.entries = \
527 [
528 # Mark the first megabyte of memory as reserved
529 X86E820Entry(addr = 0, size = '1MB', range_type = 2),
530 # Mark the rest as available
531 X86E820Entry(addr = 0x100000,
532 size = '%dB' % (phys_mem_size - 0x100000),
533 range_type = 1)
534 ]
535
536 # Command line
537 self.boot_osflags = 'earlyprintk=ttyS0 console=ttyS0 lpj=7999923 ' + \
538 'root=/dev/hda1'
539 return self
540

--- 23 unchanged lines hidden ---