#include <opensbi_interface.h>
#include <cstdint>
#include "kstd_cstdio"
Go to the source code of this file.
|
| void | putchar_ (char character) |
| |
| uint32_t | main (uint32_t, uint8_t *) |
| |
| void | _start (uint32_t argc, uint8_t *argv) |
| |
◆ _start()
| void _start |
( |
uint32_t |
argc, |
|
|
uint8_t * |
argv |
|
) |
| |
Definition at line 33 of file main.cpp.
33 {
35
36
37 while (1) {
38 ;
39 }
40}
◆ main()
| uint32_t main |
( |
uint32_t |
, |
|
|
uint8_t * |
|
|
) |
| |
Definition at line 16 of file main.cpp.
16 {
29
30 return 0;
31}
void putchar_(char character)
◆ putchar_()
| void putchar_ |
( |
char |
character | ) |
|
- Copyright
- Copyright The SimpleKernel Contributors
Definition at line 12 of file main.cpp.
12 {
13 sbi_debug_console_write_byte(character);
14}