add jminix to documentation