Hello,

For a master course 
(http://www.reds.ch/Formations/Master/SEEEDoc.aspx),<http://www.reds.ch/Formations/Master/SEEEDoc.aspx%29,>
 which is about embedded runtimes and Operating Systems, last year we have 
written a simple monolitic kernel for our student to learn some about OS 
kernels and virtualization. This Kernel runs on top of OKL4, as it enables us 
to also present virtualization and microkernel concepts.

This year we decided to replace the OKL4 kernel with CodeZero's in order to 
reduce the code base and allow our students to focus on the notions they have 
to acquire.

During the port of that kernel, I am hitting the following problem:
 * How can I retrieve exceptions in my container. I have found a way for IRQs, 
but nothing for exceptions, which is a problem as it is a central notion.

Regards,

Lionel Sambuc

---
Lionel Sambuc, HES-SO BSc in Computer Science
Tel. :  +41 24 55 762 84
lionel.sam...@heig-vd.ch

REDS Institute, Reconfigurable & Embedded Digital Systems
http://www.reds.ch

HEIG-VD, School of Business and Engineering Vaud Haute
Ecole d'Ingénierie et de Gestion du Canton de Vaud
Route de Cheseaux 1
CH-1401 Yverdon-les-Bains
http://www.heig-vd.ch

_______________________________________________
codezero-devel mailing list
codezero-devel@lists.l4dev.org
http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org

Reply via email to