document.write("«&nbsp;<a href='/news/view?id=119548'>[$] Kernel symbol namespacing</a>");document.write(" | ");document.write("<a href='/news/view?id=119550'>A “Post-ISA” Era in Computer Systems: Challenges and Opportunities [video]</a>&nbsp;»");