|
Turnstone Operating System
|
Shell. More...
#include <shell.h>#include <cpu/task.h>#include <logging.h>#include <strings.h>#include <acpi.h>#include <time.h>#include <driver/usb.h>#include <memory/frame.h>#include <windowmanager.h>#include <stdbufs.h>#include <device/mouse.h>#include <device/kbd.h>#include <device/kbd_scancodes.h>#include <utils.h>#include <hypervisor/hypervisor.h>#include <hypervisor/hypervisor_ipc.h>#include <list.h>#include <tosdb/tosdb_manager.h>#include <linker.h>#include <argumentparser.h>#include <graphics/screen.h>Functions | |
| MODULE ("turnstone.user.programs.shell") | |
| int32_t | shell_main (int32_t argc, char *argv[]) |
| int8_t | shell_process_command (buffer_t *command_buffer, buffer_t *argument_buffer) |
| static int8_t | shell_handle_module_command (char_t *arguments) |
| static int8_t | shell_handle_tosdb_command (char_t *arguments) |
| static int8_t | shell_handle_vm_command (char_t *arguments) |
| static uint32_t | shell_append_char16_to_buffer (char16_t src, char_t *dst, uint32_t dst_idx) |
| void | video_text_print (const char_t *string) |
| int8_t | shell_init (void) |
Variables | |
| buffer_t * | shell_buffer = NULL |
| buffer_t * | mouse_buffer = NULL |
| uint64_t | shell_task_id = 0 |
Shell.
This work is licensed under TURNSTONE OS Public License. Please read and understand latest version of Licence.