tree 622e4767594871007ab75dea85e2dca6cbcc1d5b
parent 357af0ca2cef85f4df8f5f07698a244227e15990
author Vladimir Marko <vmarko@google.com> 1593090827 +0100
committer Vladimir Marko <vmarko@google.com> 1593098774 +0000

Do not use ART_IMT_SIZE for IMT size configuration.

Changing the IMT size requires bumping the image version,
so configuration by an environment variable is dangerous.

Test: m
Change-Id: I60313d200b424496ee3e571db7e78cd3d87493b0