[LinuxBIOS] Tiny Kernel - coreboot - mail.coreboot.org

List overview All Threads
Download

[LinuxBIOS] Tiny Kernel

[LinuxBIOS] Build broken?

Re: [LinuxBIOS]...

Matthew Simmons

9 Nov 2005 9 Nov '05

7:03 p.m.

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

Thanks, Matt

Attachments:

attachment.htm (text/html — 662 bytes)

Show replies by date

Richard Smith

9 Nov 9 Nov

7:29 p.m.

On 11/9/05, Matthew Simmons matt@glw.com wrote:

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

http://www.selenic.com/linux-tiny/

-- Richard A. Smith

6958

days inactive

6958

days old

coreboot@coreboot.org

1 comments

2 participants

tags (0)

participants (2)

Matthew Simmons
Richard Smith