Repository navigation

wacc-os

Public

About

waccOS, an operating system kernel written in WACC.

imperial-college operating-system osdev wacc

GPL-3.0 license

12 stars

3 watching

Report repository

Name		Name	Last commit message	Last commit date
arch		arch
boot		boot
drivers		drivers
fs		fs
include		include
kernel		kernel
lib		lib
mm		mm
userspace		userspace
util		util
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
awesomedaniel.txt		awesomedaniel.txt
convert_disk_to_raw.sh		convert_disk_to_raw.sh
convert_disk_to_vdi.sh		convert_disk_to_vdi.sh
disk.img		disk.img
linker.ld		linker.ld

Repository files navigation

wacc-os

waccOS, an operating system kernel written in WACC.

About

waccOS, an operating system kernel written in WACC.

imperial-college operating-system osdev wacc

GPL-3.0 license

12 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages