bleep. open source wiki
L4::BSD
What is L4::BSD
L4::BSD is a project to port
FreeBSD to run atop the L4::Pistachio microkernel, via
Iguana embedded operating system. L4::BSD is intended to operate similar to NICTA's
Wombat operating system in concept. If you're interested you can reach me at tyler [at] freebsd [dot] org
The "Plan"
add a USE_L4 option to the build system that switches to compiling something that can be linked in with Iguana. (Need to use the -r option at link time for FreeBSD, and -e <your entry point> for iguana)
- Create the l4bsdloader which will run as the first service on top of Iguana, that will perform the same functionality of locore.S, to bring the system to a point where we can pass execution off to the bootstrapped kernel.
- Figure out how to bootstrap vm (Working in terms of FreeBSD<->Iguana)
FreeBSD is used to having access to all of physical memory, which won't be the case on L4::BSD, so all the places where this is assumed must be fixed
- Get the init function up and running
- Fix pmap
- Get userland processes running
- Making syscalls on top of FreeBSD work
- Bringing up the rest of the kernel via trial & error
(drivers, etc)
For more information on L4::BSD
For more information on L4
Discuss, etc
L4::BSD todo list
| ID | Priority | Urgency | P*U | Status | Created | Due | Completed |
|---|
| 000001 | Medium | Medium low | 6 | Completed | 2006-05-28 | 2006-05-29 | 2006-05-28 |
| | L4BSD (R. Tyler Ballance) — Live CD of L4::BSD |
| 000004 | Medium | Medium | 9 | Open | 2006-07-11 | 2006-07-18 | |
| | L4BSD (R. Tyler Ballance) — Build FreeBSD kernel into standalone ELF file |
Legend: P*U: Priority * Urgency
Add a todo item