Philipp Oppermann c3bfcbcd8d Silence dead code warning

2016-12-30 14:52:04 +01:00

..

arch/x86_64

Data segment descriptors are not needed in 64-bit mode

2016-12-30 14:52:04 +01:00

interrupts

Rewrite interrupts::init using a lazy_static IDT again

2016-12-30 14:52:04 +01:00

memory

Silence dead code warning

2016-12-30 14:52:04 +01:00

lib.rs

Use x86's TaskStateSegment and use usize for stack pointers

2016-12-30 14:52:04 +01:00

vga_buffer.rs

Remove print_error and use normal println in exception handlers

2016-10-30 16:51:59 +01:00