[crac] Integrated: 8352412: [CRaC] Direct mapping default changed

[Timofei Pushkin]

On Wed, 19 Mar 2025 11:51:29 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote:

> Changes the default value of `crexec`'s `direct_map` option to true to have the old behavior by default.

This pull request has now been integrated.

Changeset: 00643e02
Author:    Timofei Pushkin <tpushkin at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/00643e02ffcf5d5a5aa23c07cf2243f9d794363e
Stats:     18 lines in 1 file changed: 6 ins; 0 del; 12 mod

8352412: [CRaC] Direct mapping default changed

Reviewed-by: rvansa

-------------

PR: https://git.openjdk.org/crac/pull/216