1 #include <geekos/vmm_stubs.h>
3 #include <geekos/debug.h>
4 #include <geekos/serial.h>
6 #include <geekos/screen.h>
8 #include <palacios/vmm.h>
9 #include <palacios/vmm_io.h>
13 #define SPEAKER_PORT 0x61
15 static inline void VM_Out_Byte(ushort_t port, uchar_t value)
17 __asm__ __volatile__ (
20 : "a" (value), "Nd" (port)
25 * Read a byte from an I/O port.
27 static inline uchar_t VM_In_Byte(ushort_t port)
31 __asm__ __volatile__ (
43 int IO_Read(ushort_t port, void * dst, uint_t length, void * priv_data) {
49 *(uchar_t*)dst = VM_In_Byte(port);
55 int IO_Write(ushort_t port, void * src, uint_t length, void * priv_data) {
61 VM_Out_Byte(port, *(uchar_t *)src);
67 int IO_Read_to_Serial(ushort_t port, void * dst, uint_t length, void * priv_data) {
68 PrintBoth("Input from Guest on port %d (0x%x) Length=%d\n", port, port, length);
74 char * bochs_debug_buf = NULL;
75 int bochs_debug_offset = 0;
77 char * bochs_info_buf = NULL;
78 int bochs_info_offset = 0;
81 int IO_BOCHS_debug(ushort_t port, void * src, uint_t length, void * priv_data) {
82 if (!bochs_debug_buf) {
83 bochs_debug_buf = (char*)Malloc(1024);
86 bochs_debug_buf[bochs_debug_offset++] = *(char*)src;
88 if ((*(char*)src == 0xa) || (bochs_debug_offset == 1023)) {
89 SerialPrint("BOCHSDEBUG>%s", bochs_debug_buf);
90 memset(bochs_debug_buf, 0, 1024);
91 bochs_debug_offset = 0;
97 int IO_BOCHS_info(ushort_t port, void * src, uint_t length, void * priv_data) {
98 if (!bochs_info_buf) {
99 bochs_info_buf = (char*)Malloc(1024);
102 bochs_info_buf[bochs_info_offset++] = *(char*)src;
104 if ((*(char*)src == 0xa) || (bochs_info_offset == 1023)) {
105 SerialPrint("BOCHSINFO>%s", bochs_info_buf);
106 memset(bochs_info_buf, 0, 1024);
107 bochs_info_offset = 0;
114 int IO_Write_to_Serial(ushort_t port, void * src, uint_t length, void * priv_data) {
115 SerialPrint("Output from Guest on port %d (0x%x) Length=%d\n", port, port, length);
119 SerialPrint(">0x%.2x\n", *(char*)src);
122 SerialPrint(">0x%.4x\n", *(ushort_t*)src);
125 SerialPrint(">0x%.8x\n", *(uint_t*)src);
131 // SerialMemDump(src, length);
144 __asm__ __volatile__ (
150 PrintBoth("Starting To Buzz\n");
152 init=VM_In_Byte(SPEAKER_PORT);
155 VM_Out_Byte(SPEAKER_PORT, init|0x2);
156 for (j=0;j<1000000;j++) {
159 VM_Out_Byte(SPEAKER_PORT, init);
160 for (j=0;j<1000000;j++) {
168 int passthrough_mem_read(void * guest_addr, void * dst, uint_t length, void * priv_data) {
169 memcpy(dst, (void*)guest_addr, length);
173 int passthrough_mem_write(void * guest_addr, void * src, uint_t length, void * priv_data) {
174 memcpy((void*)guest_addr, src, length);
180 /* We need a configuration mechanism, so we can wrap this completely inside the VMM code,
181 * with no pollution into the HOST OS
184 int RunVMM(struct Boot_Info * bootInfo) {
187 struct vmm_os_hooks os_hooks;
188 struct vmm_ctrl_ops vmm_ops;
189 struct guest_info * vm_info = 0;
194 memset(&os_hooks, 0, sizeof(struct vmm_os_hooks));
195 memset(&vmm_ops, 0, sizeof(struct vmm_ctrl_ops));
198 os_hooks.print_debug = &SerialPrint;
199 os_hooks.print_info = &Print;
200 os_hooks.print_trace = &SerialPrint;
201 os_hooks.allocate_pages = &Allocate_VMM_Pages;
202 os_hooks.free_page = &Free_VMM_Page;
203 os_hooks.malloc = &VMM_Malloc;
204 os_hooks.free = &VMM_Free;
205 os_hooks.vaddr_to_paddr = &Identity;
206 os_hooks.paddr_to_vaddr = &Identity;
207 os_hooks.hook_interrupt = &geekos_hook_interrupt_new;
208 os_hooks.ack_irq = &ack_irq;
209 os_hooks.get_cpu_khz = &get_cpu_khz;
213 Init_V3(&os_hooks, &vmm_ops);
215 extern char _binary_vm_kernel_start;
216 PrintBoth(" Guest Load Addr: 0x%x\n", &_binary_vm_kernel_start);
218 config_data = &_binary_vm_kernel_start;
220 vm_info = (vmm_ops).allocate_guest();
222 PrintBoth("Allocated Guest\n");
224 (vmm_ops).config_guest(vm_info, config_data);
226 PrintBoth("Configured guest\n");
228 v3_hook_io_port(vm_info, 0x61, &IO_Read, &IO_Write, NULL);
229 //v3_hook_io_port(&vm_info, 0x05, &IO_Read, &IO_Write_to_Serial, NULL);
232 v3_hook_io_port(vm_info, 0x400, &IO_Read, &IO_Write_to_Serial, NULL);
233 v3_hook_io_port(vm_info, 0x401, &IO_Read, &IO_Write_to_Serial, NULL);
234 v3_hook_io_port(vm_info, 0x402, &IO_Read, &IO_BOCHS_info, NULL);
235 v3_hook_io_port(vm_info, 0x403, &IO_Read, &IO_BOCHS_debug, NULL);
238 (vmm_ops).init_guest(vm_info);
239 PrintBoth("Starting Guest\n");
241 (vmm_ops).start_guest(vm_info);