From a90d081a94e23633fe75ec1dc3cba55b17492942 Mon Sep 17 00:00:00 2001
From: Matheus Cavalcante <mcv@stanford.edu>
Date: Wed, 25 Oct 2023 15:37:11 -0700
Subject: [PATCH] index on (no branch): 5d81c8c sw: Allow externally-defined
 platforms