#include #include static_assert(ax_col(0x1Fu,0x0u,0x0u) == 0b000000000011111u); static_assert(ax_col(0x0u,0x1Fu,0x0u) == 0b000001111100000u); static_assert(ax_col(0x0u,0x0u,0x1Fu) == 0b111110000000000u); void axd_initgfx(void) { ax_set01(0x400'0000u,0b00000100'10000100u); ax_setcol(0x00u,ax_col(0x00u,0x00u,0x00u)); /* Black */ ax_setcol(0x01u,ax_col(0x07u,0x07u,0x07u)); /* Darkgrey */ ax_setcol(0x02u,ax_col(0x0Fu,0x0Fu,0x0Fu)); /* Grey */ ax_setcol(0x03u,ax_col(0x17u,0x17u,0x17u)); /* Lightgrey */ ax_setcol(0x04u,ax_col(0x1Fu,0x1Fu,0x1Fu)); /* White */ ax_setcol(0x05u,ax_col(0x11u,0x01u,0x07u)); /* Red */ ax_setcol(0x06u,ax_col(0x17u,0x0Au,0x04u)); /* Vermillion */ ax_setcol(0x07u,ax_col(0x1Bu,0x0Eu,0x04u)); /* Orange */ ax_setcol(0x08u,ax_col(0x1Bu,0x11u,0x01u)); /* Amber */ ax_setcol(0x09u,ax_col(0x1Du,0x16u,0x02u)); /* Yellow */ ax_setcol(0x0Au,ax_col(0x12u,0x19u,0x05u)); /* Chartreuse */ ax_setcol(0x0Bu,ax_col(0x04u,0x0Fu,0x03u)); /* Green */ ax_setcol(0x0Cu,ax_col(0x04u,0x11u,0x0Du)); /* Teal */ ax_setcol(0x0Du,ax_col(0x04u,0x08u,0x16u)); /* Blue */ ax_setcol(0x0Eu,ax_col(0x08u,0x05u,0x10u)); /* Violet */ ax_setcol(0x0Fu,ax_col(0x0Au,0x05u,0x11u)); /* Purple */ ax_setcol(0x10u,ax_col(0x11u,0x03u,0x15u)); /* Magenta */ ax_clrscrn1(0x600'0000u,0x4u); }