Notes concerning “Toledo family”

• What does a futuristic OS look like? 2017-08-18 (updated 2019-05-05) (6 minutes)
• Notes on Óscar Toledo G.’s bootOS 2019-10-07 (updated 2019-10-08) (28 minutes)