#include <palacios/vmm_telemetry.h>
-
+#ifdef CONFIG_SYMMOD
+#include <palacios/vmm_symmod.h>
+#endif
static int key_event_handler(struct v3_vm_info * vm,
struct v3_keyboard_event * evt,
}
// PrintGuestPageTables(info, info->shdw_pg_state.guest_cr3);
}
-#ifdef CONFIG_SYMBIOTIC
+#ifdef CONFIG_SYMCALL
else if (evt->scan_code == 0x43) { // F9 Sym test
struct guest_info * core = &(vm->cores[0]);
PrintDebug("Testing sym call\n");
PrintDebug("Toggling Debugging\n");
v3_dbg_enable ^= 1;
- } else if (evt->scan_code == 0x41) { // F7 telemetry dump
+
+ }
#ifdef CONFIG_TELEMETRY
+
+ else if (evt->scan_code == 0x41) { // F7 telemetry dump
v3_print_telemetry(vm);
+ }
#endif
+#ifdef CONFIG_SYMMOD
+ else if (evt->scan_code == 0x40) { // F6 Test symmod load
+ v3_load_sym_capsule(vm, "lnx_test");
}
-
+#endif
addr_t irq_state = v3_lock_irqsave(state->kb_lock);
static int keyboard_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
struct keyboard_internal * keyboard_state = NULL;
- char * name = v3_cfg_val(cfg, "name");
+ char * dev_id = v3_cfg_val(cfg, "ID");
PrintDebug("keyboard: init_device\n");
keyboard_state->mouse_enabled = 0;
- struct vm_device * dev = v3_allocate_device(name, &dev_ops, keyboard_state);
+ struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, keyboard_state);
if (v3_attach_device(vm, dev) == -1) {
- PrintError("Could not attach device %s\n", name);
+ PrintError("Could not attach device %s\n", dev_id);
return -1;
}