Open Source microkernel for ia32 architecture. Basicly this is a full functional operating system implementation using GNU C and nasm. Fully commented in spanish and with external documents explaining system calls, library functions, design, etc.