tree 1ce6fe691793fd7ae99c8d0daf962c75c65721cb
parent 4fa5e943c13fab064c9bdd87d1fbd37eddc4a653
author Pierre-Clément Tosi <ptosi@google.com> 1681494908 +0100
committer Pierre-Clément Tosi <ptosi@google.com> 1681809649 +0100

microdroid: Replace empty_kernel with :empty_file

Test: TH
Change-Id: I6721c6aaa7f93d2a1e41420cf6ce9c5ef8426ea0