Dani Rodríguez 97fe76f768 build: remove stash files that will not be used ... Some of the files in the arch/ and contrib/ directories is not going to be used because it is not in an usable state. For this cases, the best solution would be to simply drop these files. If they are ever needed, they can be checked from the Git repository in order to be rewritten as something that worked better. printk did not handle most placeholders, plus it relies on an VGA driver that is gone. The VBE driver only contains the most basic code, and it might be better to just integrate a new VBE driver. The paging.h file is not going to be used for the VMM system.		2022-01-12 00:17:54 +01:00
..
include/kernel	build: remove stash files that will not be used	2022-01-12 00:17:54 +01:00
kernel	i386: iterate spinlocks	2022-01-11 21:46:30 +01:00