LISHA
Software/Hardware Integration Lab at UFSC
Aboelha is a POSIX-like microkernel designed by Antônio Augusto Fröhlich in the early 90s for Intel x86. The main developers were Rafael Volkmann, Rafael Ávila, Luciano Piccoli, Hélder Savietto, Jorge de Oliveira and João de Oliveira.
Aboelha++ is a version of Aboelha written in C++ by Antônio Augusto Fröhlich in 1997 as a lab to investigate design decisions for EPOS.
Pyxis is a distributed file system designed and implemented by Antônio Augusto Fröhlich during his masters at UFSC under the supervision of Thadeu Corso.