Rekka "horizon" IGUMI

About horizon

I am a Japanese software developer with a passion for everything from low-level programming to software architecture. My main interests lie in Microkernel and Hypervisor.

Personal Information

• Name: Rekka "horizon" IGUMI (Japanese: 伊組烈火)
• Date of Birth: 2005-07-28
• Residence: Tokyo, Japan

Afflications

• 2023-05 - 2023-11: Creator, MITOU Jr Program
• 2024-06 - Present: Member, Diver-X, Inc.
• 2024-06 - 2025-03: Creator, MITOU IT Program
• 2024-07 - Present: Member, MITOU Foundation
• 2025-04 - Present: Undergraduate Student, Faculty of Environment and Information Studies, Keio University
• 2025-04 - Present: Member, SFC-RG VIRT/Arch (Kusumoto/Takashio/Van Meter/Uehara/Mitsugi/Nakazawa/Okoshi Joint Research Group)
• 2025-12 - Present: Technical Staff, Continuum Computing Architecture Research Group, Intelligent Platform Research Institute (IPRI), National Institute of Advanced Industrial Science and Technology (AIST)

Certificate

• 2023-12: '23 MITOU Jr Super-Creator
  • A9N - A Microkernel Achieving Portability Using HAL
  • The presentation video is available here
  • Press Release
• 2025-05: '24 MITOU IT Super-Creator
  • Secure User-Level Memory Management System with a Capability-Based Microkernel
  • The presentation video is available here
  • Press Release

Presentations

• 2025-08-09: Boot Sequence in the A9N Microkernel, Kernel/VM探検隊@東京 No18
• 2026-01-10: A9N: 高速なIPC機構を備えるマイクロカーネルの開発 (en: A9N: Development of a Microkernel with a High-Speed IPC Mechanism), 67th Programming Symposium

Skills

• Domains
  • Microkernel
  • Hypervisor
  • Linker/Loader
  • Compiler
  • Software Architecture
  • Performance Optimization
  • Network (Layer 3-4)
• Programming Languages
  • C++
  • C
  • Rust
  • ASM (x86_64)
  • C#
  • Python
  • Haskell

Contacts

• Email (Lab): horizon@sfc.wide.ad.jp
• Email (Personal): me@horizon2k38.com
• X: @horizon2k38
• Mastodon: @horizon2k38@mstdn.jp

Personal Projects

A9N Microkernel

A9N is a capability-based microkernel, primarily implemented in C++20. It features a highly portable Hardware Abstraction Layer (HAL) and leverages the object-capability model to ensure strong security. The kernel also achieves exceptionally high performance in inter-process communication (IPC).

Achieved world-leading IPC performance in cross-domain round-trip IPC benchmarks (590 cycles: Intel N150@3.6GHz).

Nun Operating System Framework

Designed and implemented Nun, a framework and runtime for building user-mode operating systems on top of A9N Microkernel.

Demonstrated the rapid development of a functional user-mode OS in under 3 minutes during a live demo in this video.

A9NLoader

A9NLoader is a bootloader designed to launch the A9N Microkernel in accordance with the A9N Boot Protocol (x86_64). It properly loads the Kernel Executable and Init Executable, making the system operational. It is implemented using EDK2.