| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | TP1-Mini-kernel.pdf | 130414 | logstatsplain |
| d--------- | common | 35 | logstatsplain |
| d--------- | grub | 36 | logstatsplain |
| d--------- | kernel | 508 | logstatsplain |
| -rw-r--r-- | makefile | 295 | logstatsplain |
| d--------- | mini_kernel | 36 | logstatsplain |
 |
index : os_skeleton | |
| Minimal kernel assignment | Jérémy Zurcher |
| summaryrefslogtreecommitdiffstats |