I do understand that it is a toy OS, but perhaps you can gain some more of inspiration from <a href = 'https://github.com/JohnsProject/Arduios'> Arduios </a> 😉
