Network driver available
A kernel image called kernel-serial-udp is now available in the
kernel directory ~cs9242/l4/kernel. It includes a network
driver supporting the UDP protocol, courtesy of the efforts of Ada Lim. See the documentation for more info. To use the
driver modify your Makefile to load kernel-serial-udp
rather than kernel-serial.
To test it, you might want to use the 'netcat' program, installed in
Soft RESET possible
Instead of hitting the reset button, the system can now also be forced
into the kernel debugger by sending a BREAK on the serial
port. A BREAK can be sent via the Seyon menu
Non-caching kernel fixed
The serial driver has been fixed by Matt Chapman, and the
non-caching kernel works now.
Non-caching kernel broken
The non-caching kernel doesn't work, please don't use it. We're working
More project specs
Further specifications of the project were released.
The hello_world and pager Makefiles have been
fixed. It is no longer required to ``make clean'' prior to
Clarification: High stack pointer Milestone 1 requires you to
execute a program with a high stack pointer. This means that,
unlike the sample code, the child task is to be started off with a stack
pointer outside the range of valid RAM addresses. So, once the task
touches its stack, you will receive page faults which cannot be handled
by a one-on-one mapping to RAM. You will need to do proper virtual
Note that you do not need any page tables at this stage, the kernel will
keep track of mappings, once established.