mirror of
https://gitflic.ru/project/npo_rbs/repka-os_kernel.git
synced 2025-04-24 21:45:36 +00:00
9 lines
227 B
C
9 lines
227 B
C
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
|
/*
|
|
* Copyright (C) IBM Corporation 2016.
|
|
*
|
|
* This file is only necessary because some of the pre-boot decompressors
|
|
* expect stdint.h to be available.
|
|
*/
|
|
|
|
#include "types.h"
|