SPDX-FileCopyrightText: 2022 HelenOS Project
SPDX-License-Identifier: CC-BY-4.0