Instruction Manuals and User Guides for Hardware Asoka