Lines Matching refs:kernel

5 Starting with Android U it is possible to attach a gdb to the guest kernel, when
29 The [kernel documentation](
30 https://www.kernel.org/doc/html/latest/dev-tools/gdb-kernel-debugging.html) has
31 some general techniques on how to debug kernel with gdb.
35 If you are debugging Microdroid kernel that you have built [locally](
36 ../../microdroid/kernel/README.md), then look for `out/dist/vmlinux` in your
37 kernel repository.
39 If you are debugging Microdroid kernel bundled with the `com.android.virt` APEX,
40 then you need to obtain the build ID of this kernel. You can do this by
42 `packages/modules/Virtualization/microdroid/kernel/arm64` or
43 `packages/modules/Virtualization/microdroid/kernel/x86_64` directories.