diff options
Diffstat (limited to 'configs/platform-v7a')
-rw-r--r-- | configs/platform-v7a/platformconfig | 8 | ||||
-rwxr-xr-x | configs/platform-v7a/run | 2 |
2 files changed, 7 insertions, 3 deletions
diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig index 25d9040..47eeb3d 100644 --- a/configs/platform-v7a/platformconfig +++ b/configs/platform-v7a/platformconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2022.01.0 +# PTXdist 2022.02.0 # PTXCONF__platformconfig_MAGIC__=y @@ -19,7 +19,7 @@ PTXCONF_PLATFORM="v7a" PTXCONF_PLATFORM_VERSION="-${PTXDIST_BSP_AUTOVERSION}" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y -PTXCONF_PLATFORMCONFIG_VERSION="2022.01.0" +PTXCONF_PLATFORMCONFIG_VERSION="2022.02.0" # # architecture @@ -319,3 +319,7 @@ PTXCONF_HOST_M4=y PTXCONF_HOST_MTOOLS=y PTXCONF_HOST_SYSTEM_BC=y PTXCONF_HOST_UTIL_LINUX_NG=y + +# +# non-free firmware blobs +# diff --git a/configs/platform-v7a/run b/configs/platform-v7a/run index 8de9c13..3f62b23 100755 --- a/configs/platform-v7a/run +++ b/configs/platform-v7a/run @@ -58,7 +58,7 @@ fi # fall back to user network if necessary if [ -z "${QEMU_NET}" ]; then - QEMU_NET=(-netdev user,id=net1,hostfwd=tcp:127.0.0.1:${SSH_EXTERNAL_PORT}-:${SSH_INTERNAL_PORT} ) + QEMU_NET=(-netdev user,id=net1,hostfwd=tcp:127.0.0.1:${SSH_EXTERNAL_PORT}-:${SSH_INTERNAL_PORT},hostfwd=tcp:127.0.0.1:12345-:12345) echo "Forwarding SSH port 127.0.0.1:${SSH_EXTERNAL_PORT} -> qemu:${SSH_INTERNAL_PORT}" fi |