+ kprintf(KINFO "The kernel's base address mapping: %p->%p\n", &__kernel_start, k_start);
+
+ // test malloc & free
+
+ uint8_t** arr = (uint8_t**)lxmalloc(10 * sizeof(uint8_t*));
+
+ for (size_t i = 0; i < 10; i++) {
+ arr[i] = (uint8_t*)lxmalloc((i + 1) * 2);
+ }
+
+ for (size_t i = 0; i < 10; i++) {
+ lxfree(arr[i]);
+ }
+
+ uint8_t* big_ = lxmalloc(8192);
+ big_[0] = 123;
+ big_[1] = 23;
+ big_[2] = 3;
+
+ kprintf(KINFO "%u, %u, %u\n", big_[0], big_[1], big_[2]);
+
+ // good free
+ lxfree(arr);
+ lxfree(big_);
+
+ // timer_run_second(1, test_timer, NULL, TIMER_MODE_PERIODIC);
+
+ struct kdb_keyinfo_pkt keyevent;
+ while (1)
+ {
+ if (!kbd_recv_key(&keyevent)) {
+ continue;
+ }
+ if ((keyevent.state & KBD_KEY_FPRESSED) && (keyevent.keycode & 0xff00) <= KEYPAD) {
+ tty_put_char((char)(keyevent.keycode & 0x00ff));
+ tty_sync_cursor();
+ }
+ }
+
+ spin();
+}
+
+static datetime_t datetime;
+
+void test_timer(void* payload) {
+ clock_walltime(&datetime);