text: /*
   *    Copyright 2021 CSEM SA
   *
   *    Licensed under the Apache License, Version 2.0 (the "License");
   *    you may not use this file except in compliance with the License.
   *    You may obtain a copy of the License at
   *
   *        http://www.apache.org/licenses/LICENSE-2.0
   *
   *    Unless required by applicable law or agreed to in writing, software
   *    distributed under the License is distributed on an "AS IS" BASIS,
   *    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   *    See the License for the specific language governing permissions and
   *    limitations under the License.
  */
  
  #ifndef __OS_MALLOC_H__
  #define __OS_MALLOC_H__
  
  #include <stdlib.h>
  
  // File required by MCUboot, but we don't need it otherwise
  
  #endif /* __OS_MALLOC_H__ */