The intention of this talk is to provide an introduction together with usage examples to the IHK/McKernel lightweight multi-kernel operating system on Oakforest-PACS. The presentation starts with a brief introduction to McKernel, which runs Linux and a lightweight kernel side-by-side on compute nodes. The basic idea of this OS structure is to provide light-weight kernel scalability and Linux compatibility at the same time. To demonstrate McKernel's performance characteristics, we provide results on a number of mini-applications running on full-scale OFP. This is followed by a users' guide to the configuration knobs of the system with explicitly focusing on the details of job execution on Oakforest-PACS. Towards the end, the talk will provide a more throughout discussion on operating systems research in high-performance computing (HPC) with a historical overview of the forces that shaped HPC OS research, including lightweight kernels and multi-kernels. Finally, we discuss some of the implementation details of IHK/McKernel.