0237login:Penguin垢版 | 大砲2015/11/30(月) 19:14:21.09ID:4rKjh6rt >>235 最新Linuxが動く最低スペックのカーネルを誰か知ってる? 最小のL4? 現行のmach?