tree 0dbbbf16c7b761cea41379d264a188044b97d264
parent f781c8262dadddad1240d780ab6e985579907fbf
parent 5ffc082419783502214dc2275caedc0238ebb049
author Inseob Kim <inseob@google.com> 1613607588 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1613607588 +0000

Merge changes from topics "deps_base_dir_filesystem", "filesystem_rootdir"

* changes:
  Add rootdir contents to microdroid
  Set base_dir of microdroid to system