// SPDX-License-Identifier: MIT
//
// Copyright (c) 2018-2019 Andre Richter <andre.o.richter@gmail.com>

// Rust embedded logo for `make doc`.
#![doc(html_logo_url = "https://git.io/JeGIp")]

//! The `kernel`
//!
//! The `kernel` is composed by glueing together hardware-specific Board Support
//! Package (`BSP`) code and hardware-agnostic `kernel` code through the
//! [`kernel::interface`] traits.
//!
//! [`kernel::interface`]: interface/index.html

#![feature(format_args_nl)]
#![feature(panic_info_message)]
#![feature(trait_alias)]
#![no_main]
#![no_std]

// Conditionally includes the selected `architecture` code, which provides the
// `_start()` function, the first function to run.
mod arch;

// `_start()` then calls `runtime_init::init()`, which on completion, jumps to
// `kernel_entry()`.
mod runtime_init;

// Conditionally includes the selected `BSP` code.
mod bsp;

mod interface;
mod panic_wait;
mod print;

/// Entrypoint of the `kernel`.
fn kernel_entry() -> ! {
    use interface::console::{Read, Statistics};

    // Run the BSP's initialization code.
    bsp::init();

    // UART should be functional now. Wait for user to hit Enter.
    loop {
        if bsp::console().read_char() == '\n' {
            break;
        }
    }

    println!("[0] Booting on: <{}>.", bsp::board_name());

    println!("[1] Drivers loaded:");
    for (i, driver) in bsp::device_drivers().iter().enumerate() {
        println!("      {}. {}", i + 1, driver.compatible());
    }

    println!("[2] Chars written: {}", bsp::console().chars_written());
    println!("[3] Echoing input now.");

    loop {
        print!("{}", bsp::console().read_char());
    }
}