Is HelenOS based on Linux or BSD?
No, HelenOS builds from ground up, using its own custom kernel called SPARTAN and userspace libraries. Small parts of userspace layer are actually taken from other projects (details). Besides being unrelated source-wise, it also has different design based on a microkernel multiserver architecture.