src/platform/K32W/InetPlatformConfig.h

   1 /*
   2  *
   3  *    Copyright (c) 2020 Project CHIP Authors
   4  *    Copyright (c) 2020 Google LLC.
   5  *    All rights reserved.
   6  *
   7  *    Licensed under the Apache License, Version 2.0 (the "License");
   8  *    you may not use this file except in compliance with the License.
   9  *    You may obtain a copy of the License at
  10  *
  11  *        http://www.apache.org/licenses/LICENSE-2.0
  12  *
  13  *    Unless required by applicable law or agreed to in writing, software
  14  *    distributed under the License is distributed on an "AS IS" BASIS,
  15  *    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  16  *    See the License for the specific language governing permissions and
  17  *    limitations under the License.
  18  */
  19
  20 /**
  21  *    @file
  22  *          Platform-specific configuration overrides for the CHIP Inet
  23  *          Layer on K32W platforms using the NXP SDK.
  24  *
  25  */
  26
  27 #pragma once
  28
  29 #include <stdint.h>
  30
  31 // ==================== Platform Adaptations ====================
  32
  33 #define INET_CONFIG_ERROR_TYPE int32_t
  34 #define INET_CONFIG_NO_ERROR 0
  35 #define INET_CONFIG_ERROR_MIN 1000000
  36 #define INET_CONFIG_ERROR_MAX 1000999
  37
  38 #define INET_CONFIG_ENABLE_IPV4 0
  39
  40 // ========== Platform-specific Configuration Overrides =========
  41
  42 #ifndef INET_CONFIG_NUM_TCP_ENDPOINTS
  43 #define INET_CONFIG_NUM_TCP_ENDPOINTS 4
  44 #endif // INET_CONFIG_NUM_TCP_ENDPOINTS
  45
  46 #ifndef INET_CONFIG_NUM_UDP_ENDPOINTS
  47 #define INET_CONFIG_NUM_UDP_ENDPOINTS 4
  48 #endif // INET_CONFIG_NUM_UDP_ENDPOINTS