![]() | |||||||||||||
Messages in this thread |
> > If we keep it 10 times over head, my home computer can load the full linux > kernel and have some spare for checking. > > I am still working on the bytecode loader and linker for merging symbols. > It need to answer the question: > > Which file define which function. > Which external symbol does this function use. > > Once we get the function user/define chain, it can enable a lot of new checking. At least for interrupts on/off you'll likely need new annotations because this state can be changed in assembly files before/after calling out to C. For locks this fortunately cannot happen (at least not on x86*) -Andi - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/ | ||||||||||||
| Last update: 2007-02-11 10:45 [W:0.212 / U:0.030 seconds] ©2003-2008 Jasper Spaans | |||||||||||||