Attached are updated patches that - Assume the patch in issue 41748 (https://issues.guix.gnu.org/41748) has been applied; - Use a more clear and consistent name ("jamvm-1.5.1-armv7-support.patch") for the existing patch against JamVM 1.5.1; and - Update gnu/local.mk appropriately. -- Simon South simon@simonsouth.net