portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: break long lines in comment

Browse source 
Improve readability by breaking the line at around 80 chars.

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-07-09 00:07:26 +02:00 committed by Gerwin Klein
parent fc72f5e957
commit 69204d0d2e
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
tools/hardware/outputs/c_header.py
View file

@ -109,10 +109,15 @@ static const p_region_t BOOT_RODATA avail_p_regs[] = {
def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml):
''' Given a device tree and a set of rules, returns a tuple (groups, offsets).
'''
Given a device tree and a set of rules, returns a tuple (groups, offsets).
Groups is a list of 'KernelRegionGroups', each of which represents a single contiguous region of memory that is associated with a device.
Offsets is a dict of offset -> label, where label is the name given to the kernel for that address (e.g. SERIAL_PPTR) and offset is the offset from KDEV_BASE at which it's mapped.'''
Groups is a list of 'KernelRegionGroups', each of which represents a single
contiguous region of memory that is associated with a device.
Offsets is a dict of offset -> label, where label is the name given to the
kernel for that address (e.g. SERIAL_PPTR) and offset is the offset from
KDEV_BASE at which it's mapped.
'''
kernel_devices = tree.get_kernel_devices()
kernel_offset = 0