0f61978058
outputs all CPUs described in the DT to the elfloader header and also includes any devices in the seL4,elfoader-devices property.
30 lines
912 B
Python
30 lines
912 B
Python
#
|
|
# Copyright 2019, Data61
|
|
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
|
|
# ABN 41 687 119 230.
|
|
#
|
|
# This software may be distributed and modified according to the terms of
|
|
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
|
# See "LICENSE_GPLv2.txt" for details.
|
|
#
|
|
# @TAG(DATA61_GPL)
|
|
#
|
|
from typing import List
|
|
|
|
from hardware.device import WrappedNode
|
|
from hardware.fdt import FdtParser
|
|
|
|
# documentation for CPU bindings:
|
|
# https://www.kernel.org/doc/Documentation/devicetree/bindings/arm/cpus.yaml
|
|
|
|
|
|
def get_cpus(tree: FdtParser) -> List[WrappedNode]:
|
|
' Return a list of all the CPUs described in this device tree. '
|
|
cpus_node = tree.get_path('/cpus')
|
|
|
|
found_cpus = []
|
|
for node in cpus_node:
|
|
if node.has_prop('device_type') and node.get_prop('device_type').strings[0] == 'cpu':
|
|
found_cpus.append(node)
|
|
|
|
return found_cpus
|