fix the list

src/arch/x86/kmain.cpp

@@ -166,7 +166,7 @@ void kmain() {
         (*ctor)();
 
     init_timer();
-    
+
     srand(micros);// NOLINT
 
     new_ktask(ktask_main, "ktask_main");

src/kernel/cppsupport.cpp

@@ -63,4 +63,12 @@ void operator delete(void *p) {
 
 void operator delete[](void *p) {
     kfree(p);
+}
+
+void operator delete(void *p, size_t n) {
+    kfree(p);
+}
+
+void operator delete[](void *p, size_t n) {
+    kfree(p);
 }

src/kernel/templates/SkipList.hpp

@@ -34,14 +34,13 @@ private:
 
         ~NodeAllocator() noexcept {
             for (int i = top; i >= 0; i--) {
-                //                delete nodes[i];
+                delete nodes[i];
             }
         }
 
         void push(Node *&e) {
             if (top >= size - 1) {
-                // TODO: ????
-                //                delete e;
+                delete e;
                 return;
             }
             nodes[++top] = e;