https://profilbaru.com/article/EROS_(microkernel)