diff options
Diffstat (limited to 'kapi/gdb/boot_modules')
| -rw-r--r-- | kapi/gdb/boot_modules/boot_module.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/boot_modules/boot_module_registry.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/kapi/gdb/boot_modules/boot_module.py b/kapi/gdb/boot_modules/boot_module.py index 97e6584b..cd45e4c0 100644 --- a/kapi/gdb/boot_modules/boot_module.py +++ b/kapi/gdb/boot_modules/boot_module.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] from teachos import format_size diff --git a/kapi/gdb/boot_modules/boot_module_registry.py b/kapi/gdb/boot_modules/boot_module_registry.py index 599a8234..262d46f3 100644 --- a/kapi/gdb/boot_modules/boot_module_registry.py +++ b/kapi/gdb/boot_modules/boot_module_registry.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] from teachos import format_size |