<!-- this template for report bugs you found across Tachyon OS --> ### Bug(s) Name: x86-32 Bit not support <!-- explain here. --> ==> This is seen like kernel cannot use features from 32-bit type. <!-- Example: Bug(s) name: UTF-8 error. UTF-8... --> ### Found at: /kernel/kernel.c <!-- additional information. --> ==> the kernel C file <!-- Example: Found at: usr/bin. --> ### Chronology <!-- explain here. --> ==> none **Additional information** ==> none