/*
 * Copyright (c) 2023-2024 Ian Marco Moffett and the Osmora Team.
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice,
 *    this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. Neither the name of Hyra nor the names of its
 *    contributors may be used to endorse or promote products derived from
 *    this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */

#include <sys/cdefs.h>
#include <sys/syslog.h>
#include <sys/machdep.h>
#include <sys/timer.h>
#include <sys/sched.h>
#include <sys/tty.h>
#include <sys/vfs.h>
#include <sys/driver.h>
#include <machine/cpu_mp.h>
#include <firmware/acpi/acpi.h>
#include <vm/physseg.h>
#include <logo.h>

__MODULE_NAME("init_main");
__KERNEL_META("$Hyra$: init_main.c, Ian Marco Moffett, "
              "Where the Hyra kernel first starts up");

static inline void
log_timer(const char *purpose, tmrr_status_t s, const struct timer *tmr)
{
    if (s == TMRR_EMPTY_ENTRY) {
        KINFO("%s not yet registered\n", purpose);
    } else if (tmr->name == NULL) {
        KINFO("Nameless %s registered; unknown\n", purpose);
    } else {
        KINFO("%s registered: %s\n", purpose, tmr->name);
    }
}

/*
 * Logs what timers are registered
 * on the system.
 */
static void
list_timers(void)
{
    struct timer timer_tmp;
    tmrr_status_t status;

    status = req_timer(TIMER_SCHED, &timer_tmp);
    log_timer("SCHED_TMR", status, &timer_tmp);

    status = req_timer(TIMER_GP, &timer_tmp);
    log_timer("GENERAL_PURPOSE_TMR", status, &timer_tmp);
}

void
main(void)
{
    struct cpu_info *ci;
    int status;

    __TRY_CALL(pre_init);
    syslog_init();
    PRINT_LOGO();

    kprintf("Hyra/%s v%s: %s (%s)\n",
            HYRA_ARCH, HYRA_VERSION, HYRA_BUILDDATE,
            HYRA_BUILDBRANCH);

    acpi_init();
    __TRY_CALL(chips_init);

    processor_init();
    list_timers();
    vfs_init();

    /* Attach the root TTY */
    if ((status = tty_attach(&g_root_tty)) < 0)
        kprintf("Failed to attach root TTY (got %d)\n", status);

    DRIVERS_INIT();
    sched_init();
    ci = this_cpu();

    /* Stop writing kernel messages to TTY */
    g_syslog_use_tty = false;

    __TRY_CALL(ap_bootstrap, ci);
    sched_enter();

    while (1);
    __builtin_unreachable();
}