use vga; use term; use rt; use bios; use drive; export fn main() void = { let text = vga::attach(0xb8000, 80, 25); term::clear(&text); term::setcolors(&text, (term::color::LMAGENTA, term::color::BLACK)); term::print(&text, "hello hare world!\n"); for (let i = 0z; i < 10; i += 1) { term::print(&text, "a"); }; let dest = 0x100000: uintptr: *[*]u8; //drive::read(0, 512, dest)!; //if (dest[511] == 0xaa) { // term::print(&text, "\nnice!"); //}; let pd: *[512]u64 = (0x1000): uintptr: *[512]u64; pd[511] = 0x1000 | 0x3 | 1 << 6; // let wtf: u64 = 0o777; let lvl4: u64 = 0o177777 << 48 | 511 << 39 | 511 << 30 | 511 << 21 | 511 << 12 | 0x0; let p4: *u64 = lvl4: uintptr: *u64; if (*p4 >> 12 == 0x2) { term::print(&text, "poggers\n"); }; };