tree 25b3ed661950ef11b81b0d53a9c774be52f1868a
parent 37196d0e797d186688e48fd258d9f6db39a10659
author Jaewan Kim <jaewan@google.com> 1667201689 +0000
committer Jiyong Park <jiyong@google.com> 1667787399 +0900

docs: Fix microdroid kernel's config path

Bug: N/A
Merged-In: I94f668ec64d0faf1ca78ae2cf125333bbf9bd58d
Change-Id: I94f668ec64d0faf1ca78ae2cf125333bbf9bd58d
Test: Build
(cherry picked from commit 308155b9fe31de9f3324c64dcbb217f53a3f143d)