search

tomaka / redshirt

🧑‍🔬 Operating system
GNU General Public License v3.0
1.43k stars 37 forks source link

Remove hardware-interface #437

Open tomaka opened 4 years ago

tomaka commented 4 years ago

After #428 is done.

The hardware interface is too "dangerous" and doesn't allow proper sandboxing. Exposing only the PCI and DeviceTree (and USB) interfaces should be enough to write drivers. Anything that can't be done on top of these should be directly put in the kernel.

cc #370 #206 #118

PaperPrototype commented 3 years ago

So are drivers going to be written in WASI?