../ mcore-0.1.0-mike1-x86_64.mpk 11-Sep-2026 19:26 398K mikeos-kernel-7.2.0-12252-g388b607d107c-mike1-x..> 11-Sep-2026 19:26 21M mkshell-0.1.0-mike1-x86_64.mpk 11-Sep-2026 19:26 399K mpm-0.2.0-mike1-x86_64.mpk 11-Sep-2026 19:26 405K