1 /* Northwestern University */
2 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
4 #include <geekos/vmm_stubs.h>
6 #include <geekos/debug.h>
7 #include <geekos/serial.h>
9 #include <geekos/screen.h>
11 #include <palacios/vmm.h>
12 #include <palacios/vmm_io.h>
16 #define SPEAKER_PORT 0x61
18 static inline void VM_Out_Byte(ushort_t port, uchar_t value)
20 __asm__ __volatile__ (
23 : "a" (value), "Nd" (port)
28 * Read a byte from an I/O port.
30 static inline uchar_t VM_In_Byte(ushort_t port)
34 __asm__ __volatile__ (
46 int IO_Read(ushort_t port, void * dst, uint_t length, void * priv_data) {
52 *(uchar_t*)dst = VM_In_Byte(port);
58 int IO_Write(ushort_t port, void * src, uint_t length, void * priv_data) {
64 VM_Out_Byte(port, *(uchar_t *)src);
70 int IO_Read_to_Serial(ushort_t port, void * dst, uint_t length, void * priv_data) {
71 PrintBoth("Input from Guest on port %d (0x%x) Length=%d\n", port, port, length);
77 char * bochs_debug_buf = NULL;
78 int bochs_debug_offset = 0;
80 char * bochs_info_buf = NULL;
81 int bochs_info_offset = 0;
84 int IO_BOCHS_debug(ushort_t port, void * src, uint_t length, void * priv_data) {
85 if (!bochs_debug_buf) {
86 bochs_debug_buf = (char*)Malloc(1024);
89 bochs_debug_buf[bochs_debug_offset++] = *(char*)src;
91 if ((*(char*)src == 0xa) || (bochs_debug_offset == 1023)) {
92 SerialPrint("BOCHSDEBUG>%s", bochs_debug_buf);
93 memset(bochs_debug_buf, 0, 1024);
94 bochs_debug_offset = 0;
100 int IO_BOCHS_info(ushort_t port, void * src, uint_t length, void * priv_data) {
101 if (!bochs_info_buf) {
102 bochs_info_buf = (char*)Malloc(1024);
105 bochs_info_buf[bochs_info_offset++] = *(char*)src;
107 if ((*(char*)src == 0xa) || (bochs_info_offset == 1023)) {
108 SerialPrint("BOCHSINFO>%s", bochs_info_buf);
109 memset(bochs_info_buf, 0, 1024);
110 bochs_info_offset = 0;
117 int IO_Write_to_Serial(ushort_t port, void * src, uint_t length, void * priv_data) {
118 SerialPrint("Output from Guest on port %d (0x%x) Length=%d\n", port, port, length);
122 SerialPrint(">0x%.2x\n", *(char*)src);
125 SerialPrint(">0x%.4x\n", *(ushort_t*)src);
128 SerialPrint(">0x%.8x\n", *(uint_t*)src);
134 // SerialMemDump(src, length);
147 __asm__ __volatile__ (
153 PrintBoth("Starting To Buzz\n");
155 init=VM_In_Byte(SPEAKER_PORT);
158 VM_Out_Byte(SPEAKER_PORT, init|0x2);
159 for (j=0;j<1000000;j++) {
162 VM_Out_Byte(SPEAKER_PORT, init);
163 for (j=0;j<1000000;j++) {
171 int passthrough_mem_read(void * guest_addr, void * dst, uint_t length, void * priv_data) {
172 memcpy(dst, (void*)guest_addr, length);
176 int passthrough_mem_write(void * guest_addr, void * src, uint_t length, void * priv_data) {
177 memcpy((void*)guest_addr, src, length);
183 /* We need a configuration mechanism, so we can wrap this completely inside the VMM code,
184 * with no pollution into the HOST OS
187 int RunVMM(struct Boot_Info * bootInfo) {
190 struct vmm_os_hooks os_hooks;
191 struct vmm_ctrl_ops vmm_ops;
192 struct guest_info * vm_info = 0;
197 memset(&os_hooks, 0, sizeof(struct vmm_os_hooks));
198 memset(&vmm_ops, 0, sizeof(struct vmm_ctrl_ops));
201 os_hooks.print_debug = &SerialPrint;
202 os_hooks.print_info = &Print;
203 os_hooks.print_trace = &SerialPrint;
204 os_hooks.allocate_pages = &Allocate_VMM_Pages;
205 os_hooks.free_page = &Free_VMM_Page;
206 os_hooks.malloc = &VMM_Malloc;
207 os_hooks.free = &VMM_Free;
208 os_hooks.vaddr_to_paddr = &Identity;
209 os_hooks.paddr_to_vaddr = &Identity;
210 os_hooks.hook_interrupt = &geekos_hook_interrupt_new;
211 os_hooks.ack_irq = &ack_irq;
212 os_hooks.get_cpu_khz = &get_cpu_khz;
216 Init_V3(&os_hooks, &vmm_ops);
218 extern char _binary_vm_kernel_start;
219 PrintBoth(" Guest Load Addr: 0x%x\n", &_binary_vm_kernel_start);
221 config_data = &_binary_vm_kernel_start;
223 vm_info = (vmm_ops).allocate_guest();
225 PrintBoth("Allocated Guest\n");
227 (vmm_ops).config_guest(vm_info, config_data);
229 PrintBoth("Configured guest\n");
231 v3_hook_io_port(vm_info, 0x61, &IO_Read, &IO_Write, NULL);
232 //v3_hook_io_port(&vm_info, 0x05, &IO_Read, &IO_Write_to_Serial, NULL);
235 v3_hook_io_port(vm_info, 0x400, &IO_Read, &IO_Write_to_Serial, NULL);
236 v3_hook_io_port(vm_info, 0x401, &IO_Read, &IO_Write_to_Serial, NULL);
237 v3_hook_io_port(vm_info, 0x402, &IO_Read, &IO_BOCHS_info, NULL);
238 v3_hook_io_port(vm_info, 0x403, &IO_Read, &IO_BOCHS_debug, NULL);
241 (vmm_ops).init_guest(vm_info);
242 PrintBoth("Starting Guest\n");
244 (vmm_ops).start_guest(vm_info);