/* Copyright 2021-2023 Arm Limited and/or its affiliates
 * <open-source-office@arm.com>
 * SPDX-License-Identifier: Apache-2.0
 */

#include <stdint.h>

int32_t socket_startup (void) {
  /* Network interface is already initialized */
  return 0;
}