/* Copyright (c) 2026 The Solidite Developers
 *
 * This program is free software: you can redistribute it and/or modify it
 * under the terms of the GNU Affero General Public License as published by the
 * Free Software Foundation, either version 3 of the License, or (at your
 * option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License
 * for more details.
 *
 * You should have received a copy of the GNU Affero General Public License
 * along with this program. If not, see <https://www.gnu.org/licenses/>. */

#ifndef RISCV64_H
#define RISCV64_H

#include "../../libc/include/string.h"

extern void kputchar(const char c);

__attribute__((always_inline)) static inline void kwrite(const char *s) {
  while (*s != '\0') {
    kputchar(*s);
    ++s;
  }
}

#endif