v0.0.1

• Fixed a bug in the serial driver.

v0.0.1rc1

• Implemented read buffering in the file streaming API in libc to fix a bug in the fgets() function.

v0.0.1b

• Fixed a bug in vsnprintf()/kvsnprintf()
• Tuned the initialization process of network device drivers to reduce the initialization time
• Removed the crash() output when PIRQs are received

v0.0.1a

• Support simple Ethernet switching