[LinuxBIOS] Tiny Kernel

[Matthew Simmons]

Where do I find information on booting "tiny kernel"? Or could you guys
explain it to me?

Thanks,
Matt