/*
 *  Copyright (C) 2022, AdaCore
 *
 *  SPDX-License-Identifier: Apache-2.0
 */

#ifdef __APPLE__
.section __TEXT,__const
#else
#ifdef __linux__
.section .note.GNU-stack
#endif
.section .rodata
#endif
  .global _binary_config_kb_start
  .align 4
_binary_config_kb_start:
  .incbin "config.kb"
_binary_config_kb_end:
  .global _binary_config_kb_size
  .align 4
_binary_config_kb_size:
  .int  _binary_config_kb_end - _binary_config_kb_start
