Kernel para console videogame

Tenho um projeto para criar um sistema operacional fictício de um console videogame e estou com dúvida de qual tipo de kernel vou usar no projeto. Ex : Kernel monolitico, microkernel... ?

Obs: sei a diferença entres os kernels, mas não sei qual seria mais vantajoso para um console.

Quais as especificações do hardware?

----------------------------------------------------------------------------------------------------------------
Nem direita, nem esquerda. Quando se trata de corrupção o Brasil é ambidestro.
(anônimo)

A mesma do PS4.

Processador principal : Processador personalizado Single-chip
CPU: AMD “Jaguar” de baixo consumo x86-64, 8 núcleos
GPU: 1.84 TFLOPS, AMD Radeon™ Graphics Core Next engine

Memória : GDDR5 8GB

Hard Disk Drive : Integrado

I/O: USB (USB 3.0) Alta Velocidade, AUX

Comunicação : Ethernet (10BASE-T, 100BASE-TX, 1000BASE-T)
IEEE 802.11 b/g/n
Bluetooth® 2.1 (EDR)

Saída de Áudio/Vídeo : HDMI
Saída Digital (ótica)