/* flashimg/cpu_hdmi/main.c - Entry point for the HDMI-decoder co-processor
 *
 * Copyright (C) 2025  Luke T. Shumaker <lukeshu@lukeshu.com>
 * SPDX-License-Identifier: AGPL-3.0-or-later
 */

int main() {
	return 0;
}